实体
NL4OPT
NL4OPT
PulseAugur coverage of NL4OPT — every cluster mentioning NL4OPT across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
新的大语言模型框架增强了运筹学公式制定中的不确定性感知能力
研究人员开发了一个新的框架，用于在大语言模型（LLMs）中应用运筹学（OR），该框架解决了确保数学公式连贯性和正确性的挑战。这种无需训练的方法使用简短的前瞻性仿真来评估中间建模步骤的下游预测不确定性。通过重要性重采样动态选择具有更高一致性公式化可能性的候选者，该框架在各种运筹学基准测试中显著优于标准和低温度基线。
-
新的验证方法可检测大语言模型生成优化模型中的错误
研究人员开发了一种新的理论和方法论，用于验证由大语言模型（LLMs）生成的优化模型。这种基于证伪的方法通过转换问题描述中的数值量并观察求解器行为来测试生成的模型，确保了零假阳性率。该研究引入了一系列测试类别，包括方向性探测、曲率探测和极限探测，这些探测可以识别特定的错误类别，并在识别不忠实模型方面优于传统的阈值测试器。对基准数据集的实验证实了该理论的有效性，与执行准确性评分相比，检测率有了显著提高。