arXiv preprint / cs.AI

FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving

作者：Henry Robbins, Connor Lawless, Madeleine Udell, Ellen Vitercik · 单位：Stanford University · 会议/期刊：arXiv preprint · 方向：cs.AI · 发布日期：2026-08-27

2026-08-27优化控制
新标签打开 AlphaXiv新标签打开 Project新标签打开 Code
FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving figure
AlphaXiv 中文概览（可滚动查看）