cardinal
Datasets
All datasets matching “cardinal”cardinal-benchmarkIndustryOR
Overview
IndustryOR, the first industrial benchmark, consists of 100 real-world OR problems. It covers 5 types of questions—linear programming, integer programming, mixed integer programming, non-linear programming, and others—across 3 levels of difficulty.
Citation
@article{tang2024orlm,
title={ORLM: Training Large Language Models for Optimization Modeling},
author={Tang, Zhengyang and Huang, Chenyu and Zheng, Xin and Hu, Shixi and Wang, Zizhuo and Ge, Dongdong and… See the full description on the dataset page: https://huggingface.co/datasets/CardinalOperations/IndustryOR.MAMO
Overview
This dataset is a direct copy of the MAMO Optimization Data, with its EasyLP and ComplexLP components duplicated but with adapted field names.
Citation
@misc{huang2024mamo,
title={Mamo: a Mathematical Modeling Benchmark with Solvers},
author={Xuhan Huang and Qingning Shen and Yan Hu and Anningzhe Gao and Benyou Wang},
year={2024},
eprint={2405.13144},
archivePrefix={arXiv},
primaryClass={cs.AI}
}
NL4OPT
Overview
This dataset is a conversion of the NL4OPT test set.
The official NL4OPT provides only mathematical models as targets, complicating the verification of execution accuracy due to the absence of optimal solutions for the optimization modeling task.
To address this issue, we have converted these mathematical models into programs using GPT-4, calculated and checked the optimal solutions, and used these as ground truth.
Note that a small percentage of examples (15%) were… See the full description on the dataset page: https://huggingface.co/datasets/CardinalOperations/NL4OPT.OR-Instruct-Data-3K
Overview
This dataset is a sample from the OR-Instruct Data, consisting of 3K examples.
Citation
@article{tang2024orlm,
title={ORLM: Training Large Language Models for Optimization Modeling},
author={Tang, Zhengyang and Huang, Chenyu and Zheng, Xin and Hu, Shixi and Wang, Zizhuo and Ge, Dongdong and Wang, Benyou},
journal={arXiv preprint arXiv:2405.17743},
year={2024}
}
metaworld_spatial_cardinal_15cm_strict_50deg_close_high_approach_improved_mwThis dataset was created using LeRobot.
Dataset Structure
meta/info.json:
{
"codebase_version": "v2.1",
"robot_type": "metaworld",
"total_episodes": 800,
"total_frames": 97649,
"total_tasks": 8,
"total_videos": 0,
"total_chunks": 1,
"chunks_size": 1000,
"fps": 24,
"splits": {
"train": "0:800"
},
"data_path": "data/chunk-{episode_chunk:03d}/episode_{episode_index:06d}.parquet",
"video_path":… See the full description on the dataset page: https://huggingface.co/datasets/ccwatson/metaworld_spatial_cardinal_15cm_strict_50deg_close_high_approach_improved_mw.