标签
该论文提出 DRAGO 框架，用确定性的形式化诊断替代无依据的 LLM 批评来修复 LLM 生成的形式化规范，在五个基准上将规范回归率从 11.8% 降至 1.3%，并显著提升答案准确率。
本文介绍了一种神经符号方法G-RRM，它使用递归推理模型来引导符号求解器解决约束满足问题，在特定条件下显示出显著的加速效果。