Problems¶
The table below enumerates every problem in FormulationBench and the source it was adapted from. Each problem page provides detailed information about the problem and every formulation of it. This documentation is automatically generated from the dataset to ensure it is up-to-date.
Problem |
Name |
Source |
|---|---|---|
Amusement Park Ticket Machines |
||
Electricity Generation Experiment |
||
Summer Camp Science Experiment |
||
Employee Transportation |
||
Garden Bed Soil Hydration |
||
Capacitated Warehouse Location Problem (CWLP) |
||
Rectangular Tiling with One Hole per Row and Column (IMO6) |
||
Job Shop Scheduling Problem (JSSP) |
||
Multi-Commodity Network Design (MCND) |
||
Pickup and Delivery Problem with Time Windows (PDPTW) |
||
Sub-Hour Unit Commitment (SHUC) |
||
Traveling Salesman Problem (TSP) |
||
Air Traffic Flow Management |
||
Blood Bank Netherlands |
||
Dutch Housing Problem |
||
Park and Bike Hub Location (Mobian) |
||
Open-Pit Mine Production Scheduling |
||
Timor-Leste Hospital Location |
||
UN Humanitarian Disaster Response Hub Location (UNHDR) |
||
World Food Program Food Distribution |
Citations¶
@article{yazdani2025,
title = {EvoCut: Strengthening Integer Programs via Evolution-Guided Language Models},
author = {Yazdani, Milad and Mostajabdaveh, Mahdi and Aref, Samin and Zhou, Zirui},
journal = {arXiv preprint arXiv:2508.11850},
year = 2025
}
@inproceedings{zhai2025a,
title = {EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations},
author = {Haotian Zhai and Connor Lawless and Ellen Vitercik and Liu Leqi},
booktitle = {Forty-second International Conference on Machine Learning},
year = 2025
}
@mastersthesis{ferchtandiker2025,
title = {Generating Efficient Optimization Formulations Using Large Language Models},
author = {Ferchtandiker, Nathan},
school = {Universiteit van Amsterdam},
year = 2025
}