CoolFace
Datasetpublic

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.

sourceHugging Facecc-by-4.0updated 21d agoView on Hugging Face
0likes279downloads
15 commits on main
945dc9521d ago

Make 9 audited checkers solver-free with complete witnesses

LeoJiangOR
a6fe77d26d ago

Add provenance-aware Gurobi runtime metadata

LeoJiangOR
fe9f89728d ago

Add files using upload-large-folder tool

LeoJiangOR
6d0e0d428d ago

Add files using upload-large-folder tool

LeoJiangOR
391ffbe28d ago

Add files using upload-large-folder tool

LeoJiangOR
fbccdc628d ago

Add files using upload-large-folder tool

LeoJiangOR
8817b7128d ago

Add files using upload-large-folder tool

LeoJiangOR
730574328d ago

Add files using upload-large-folder tool

LeoJiangOR
6ad5d2828d ago

Add files using upload-large-folder tool

LeoJiangOR
f5f86e128d ago

Add files using upload-large-folder tool

LeoJiangOR
e0a0c5e28d ago

Add files using upload-large-folder tool

LeoJiangOR
34cce9228d ago

Add files using upload-large-folder tool

LeoJiangOR
0d3eb6328d ago

Add files using upload-large-folder tool

LeoJiangOR
3233b6928d ago

Add files using upload-large-folder tool

LeoJiangOR
068d94728d ago

initial commit

LeoJiangOR