Towards Verified Code Reasoning by LLMs
机构 * University of Texas at Austin（德克萨斯大学奥斯汀分校） ； Google DeepMind（谷歌DeepMind） ； Google（谷歌） ； Meta Platforms（元平台）
专题命中 软件智能体 ：agent(abstract)；分类 cs.LG、cs.SE
Comments 43 pages
AI 大模型
AI Agent
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
1. 软件智能体 2 篇
Text-to-SQL Domain Adaptation via Human-LLM Collaborative Data Annotation
机构 * Purdue University（普渡大学） ； Adobe Inc.（Adobe公司）
专题命中 软件智能体 ：workflow(abstract)；分类 cs.AI
Comments Accepted by IUI'25 Code & Demo: https://github.com/magic-YuanTian/SQLsynth
