FrontierOR · Dataset Card
FrontierOR: Dataset Card
Written by Minwei Kong, published under cc-by-4.0, revision 66b12c6efd20, read 2026-09-26. Shown as written; SAVRN's own facts about this dataset are on its page.
Frontier-OR Benchmark
A benchmark of 180 literature-grounded OR tasks, each packaged as a self-contained reproducible unit: natural-language problem description, mathematical formulation, reference Gurobi implementation, test instances, reference solutions, and an automated feasibility checker.
Designed for evaluating LLMs on the end-to-end task of turning a research paper's OR problem into runnable, verifiably-correct optimization code.
Dataset size note
This repository now contains 180 canonical tasks under tasks/. The legacy ostrowski2012 compatibility alias, which duplicated earl2005, was removed on 2026-09-06.
Layout
| Path | Purpose |
|---|---|
metadata/paper_meta_info.json |
Metadata for all 180 canonical papers, including optimization direction |
tasks/<paper_id>/ |
Self-contained task package for one paper |
What's in each task folder
| File / dir | Purpose |
|---|---|
problem_description.txt |
Natural-language problem statement |
mathematical_formulation.md |
Mathematical model (variables, constraints, objective) |
gurobi_code.py |
Reference Gurobi implementation |
feasibility_check.py |
Automated solution validator |
solution_logger.py |
Utility for serializing solutions |
instance_schema.json |
JSON schema for input instances |
solution_schema.json |
JSON schema for solutions |
instance/ |
Test instances (JSON) |
gurobi_solution/ |
Reference solutions produced by gurobi_code.py |
gurobi_solution_log/ |
Anytime objective trajectory from the reference Gurobi run |
gurobi_feasi_result/ |
Output of feasibility_check.py on the reference solutions |
Loading the metadata
from datasets import load_dataset
meta = load_dataset("SmartOR/FrontierOR", "meta", split="train")
print(meta[0])
For the per-paper instance / solution data, clone or download the full
repository — the structure is intentionally a file tree, not a flat HF
dataset, because each paper is its own reproducible package under
tasks/<paper_id>/.
hf download SmartOR/FrontierOR --repo-type dataset --local-dir frontier-or