PulseAugur
中
实时 20:21:15
实体 Opt-Verifier

Opt-Verifier

PulseAugur coverage of Opt-Verifier — every cluster mentioning Opt-Verifier across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_317206 ·

    新系统 ORSMT 可验证和修复 LLM 生成的优化问题

    一篇新的研究论文介绍 ORSMT，一个旨在验证和修复大型语言模型 (LLM) 生成的优化问题中的语义不一致性的系统。ORSMT 利用可满足性模理论 (SMT) 来比较优化制品，确保不同模型可以实现相同的目标，并且等效模型一致地使用辅助变量。该系统提高了 LLM 生成的模型与其对应代码之间的匹配率，显著提高了正确匹配输出的准确性。