Trusta: 用形式方法和大型语言模型推理保障论证

通过整合大型语言模型，Trusta 建立和验证可信度推导树 (TDTs) 进而提升保证案例的构建和评估，实现在安全工程中自动推理的新方法。

本文介绍了机器学习技术在科学研究中的应用，强调了评审推理系统的重要性和可信度。研究探讨了通过技术和社会措施相结合的途径来增强推理系统的评审性。

可信度 大型语言模型 技术 机器学习 科学研究 评审
原文中文，约300字，阅读约需1分钟。发表于：。
阅读原文
分享给好友