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