Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificates
学习协调符号工具:用于验证平方和(SOS)证书的大语言模型(LLM)智能体
专题命中 指令微调 :LLM(title,title_cn);SFT(abstract,abstract_cn);large language model(abstract);language model(abstract)
AI总结 该研究开发结合领域训练、符号工具和验证反馈的LLM智能体,在加权SOS验证任务上达到78.96%成功率,为可精确检查输出领域的工具调用智能体设计提供案例。
Comments 15 pages, 4 figures