Opening the first proof…
OPTIMIZATION · JOURNAL PROOFS
OptProof
A structured proof dataset
from optimization journals.
Explore published results through their mathematical context, original proofs, and supporting arguments.
155proof records
3optimization journals
10,053proof nodes
21,484support links
Mathematical ProgrammingSIAM Journal on OptimizationJournal of Optimization Theory and Applications
Explore the proofs
Take a closer look
JSONL.GZ The proof dataset155 complete records, one JSON object per line.
CSV The article catalogue1,575 journal articles; source and record availability.
JSON Dataset at a glanceRecord counts, journal coverage, and graph statistics.
Also available: JSON (.gz)·Uncompressed JSONL·Record structure