EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations Paper • 2502.14760 • Published Feb 20, 2025 • 1