实体 NLEquiv-150

NLEquiv-150

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_231290 · Sep 2 · 04:00

LLM辅助框架SOVER验证优化重构

研究人员开发了SOVER，一个使用大型语言模型（LLM）辅助数学优化问题重构形式化验证的框架。该系统将LLM在问题映射中的作用与形式化认证过程分开，使用Z3等工具处理混合整数线性重构，使用dReal处理连续非线性重构。SOVER在NLEquiv-150（一个非线性重构对的基准测试集）上进行了测试，正确分类了其中99.33%的重构，包括具有挑战性的负例。