Meta研究人员开发了结构化提示技术,使大语言模型能够在不执行代码的情况下验证代码补丁,测试准确率高达93%。该半形式化推理方法引入结构化逻辑证书,要求模型明确陈述假设并跟踪执行路径。在补丁等价性验证、故障定位和代码问答三项关键任务中,该技术均显著提升了准确性,为企业级代码审查提供了更可靠的自动化解决方案。
Denodo推出DeepQuery功能,声称可超越检索增强生成技术的局限性。该技术不仅检索事实,还能进行调查、综合分析并解释推理过程。DeepQuery基于Denodo数据管理平台的语义层,可直接访问实时企业数据,通过结构化推理分析多数据源,为复杂的多步骤分析问题提供可解释的答案。该技术面向业务用户和分析师,让非技术团队能用自然语言提问并获得基于证据的可信洞察。