SOVER: Formal Certification of Optimization Reformulations via LLM-Assisted SMT Verification

作者：Swapnil Bhattacharyya, Mayank Baranwal · 单位：Indian Institute of Technology Bombay · 会议/期刊：arXiv preprint · 方向：cs.AI · 发布日期：2026-09-02