察元AI教程库 · 文章 · 插件

MANTRA：为使用工具的大语言模型代理合成SMT验证的合规基准

使用工具的大型语言模型（LLM）代理正越来越多地应用于其可靠行为由严格的操作手册所规范的环境中。确保这些代理遵守这些手册中的规则是具有挑战性的，因为这些手册通常是为人类用自然语言编写的

作者:Ashwani Anand, Ivi Chatzi, Ritam Raha · 语言:en

简介