Meta发布半形式化推理技术提升大语言模型代码审查准确率

Meta研究人员开发了结构化提示技术，使大语言模型能够在不执行代码的情况下验证代码补丁，测试准确率高达93%。该半形式化推理方法引入结构化逻辑证书，要求模型明确陈述假设并跟踪执行路径。在补丁等价性验证、故障定位和代码问答...

Denodo声称DeepQuery能超越生成式AI的表面洞察

Denodo推出DeepQuery功能，声称可超越检索增强生成技术的局限性。该技术不仅检索事实，还能进行调查、综合分析并解释推理过程。DeepQuery基于Denodo数据管理平台的语义层，可直接访问实时企业数据，通过结...