This dataset repository stores raw and derived artifacts for the IR_mllm intermediate-geometry-language experiments.
raw_datasets/datasets/: raw dataset archives present on the experiment server, including FormalGeo and MathVista artifacts.
derived_data/formalgeo_route_data/: route-generator train/val/test splits, GDP-4B parses, parser inputs, and resized images.
derived_data/construction_plan_data/: construction-plan pseudo-label… See the full description on the dataset page:
https://huggingface.co/datasets/shiyunliu/IR_mllm_dataset.
