可验证系统

研究人员提出一种约束可验证的智能体框架，将LLM输出从自由形式代码转为类型化JSON配置，通过分类、约束、静态执行与质量检查，为重复性网络数据收集提供可靠、低成本的执行路径。