TY  - RPRT
TI  - SOVER: Formal Certification of Optimization Reformulations via LLM-Assisted SMT Verification
AU  - Swapnil Bhattacharyya
AU  - Mayank Baranwal
PY  - 2026
UR  - https://arxiv.org/abs/2609.00728
ID  - 2609.00728
ER  -