LeoJiangOR/FrontierOR-Audited-180
FrontierOR Audited 180 This is an evaluator-oriented derivative of SmartOR/FrontierOR, pinned to upstream commit 37ccd8b6dca3bf7f4e0c58941a6ed156832a6d9e. The released descriptions, formulations, Gurobi implementations, solution schemas, reference solutions, and feasibility checkers were audited and repaired as one evaluation contract. Final status Gate Result Evaluator-ready directory IDs 180/180 Independent canonical cases 179 Transparent… See the full description on the dataset page: https://huggingface.co/datasets/LeoJiangOR/FrontierOR-Audited-180.
Make 9 audited checkers solver-free with complete witnesses
Add provenance-aware Gurobi runtime metadata
Add files using upload-large-folder tool
Add files using upload-large-folder tool
Add files using upload-large-folder tool
Add files using upload-large-folder tool
Add files using upload-large-folder tool
Add files using upload-large-folder tool
Add files using upload-large-folder tool
Add files using upload-large-folder tool
Add files using upload-large-folder tool
Add files using upload-large-folder tool
Add files using upload-large-folder tool
Add files using upload-large-folder tool
initial commit
