NL4OPT

新的验证方法可检测大语言模型生成优化模型中的错误

研究人员开发了一种新的理论和方法论，用于验证由大语言模型（LLMs）生成的优化模型。这种基于证伪的方法通过转换问题描述中的数值量并观察求解器行为来测试生成的模型，确保了零假阳性率。该研究引入了一系列测试类别，包括方向性探测、曲率探测和极限探测，这些探测可以识别特定的错误类别，并在识别不忠实模型方面优于传统的阈值测试器。对基准数据集的实验证实了该理论的有效性，与执行准确性评分相比，检测率有了显著提高。