待验证50% 置信事实精确时间

微软Research团队在2024年提出Code Grounding概念，尝试通过符号执行对LLM输出做后验约束

1

来源数

50%

置信度

长期有效

时效性

2026/7/18

首次发现

来源

如何信任AI生成的代码？一套开发者实用验证方法论

相关事实

待验证SWE-Bench由普林斯顿大学研究团队于2023年发布，要求模型在真实代码仓库语境下理解跨文件依赖、定位根因并生成补丁70% 相似待验证微软于2024年推出Semantic Kernel，将企业既有业务逻辑封装为技能插件63% 相似待验证CodeAct论文由Wang等人于2024年发表，提出让大模型直接生成可执行代码作为行动，而非输出JSON格式的工具调用62% 相似待验证微软早在2023年就通过Copilot战略布局了嵌入式AI方向61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/547669

API

curl https://kongchang.com/api/v1/knowledge/claims/547669

MCP

get_claim(id=547669)