RecodeX 重构消息，研究人员提出一种名为“递归演绎验证”的框架，通过强制验证步骤来显著减少大型语言模型的幻觉和逻辑错误。