Vitercik, Ellen
22 publications
ICML
2025
EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations
IJCAI
2025
New Sequence-Independent Lifting Techniques for Cover Inequalities and When They Induce Facets
NeurIPS
2022
Structural Analysis of Branch-and-Cut and the Learnability of Gomory Mixed Integer Cuts
AAAI
2020
Learning to Optimize Computational Resources: Frugal Training with Generalization Guarantees