{
 "@context": {
  "@language": "en",
  "@vocab": "https://schema.org/",
  "citeAs": "cr:citeAs",
  "column": "cr:column",
  "conformsTo": "dct:conformsTo",
  "cr": "http://mlcommons.org/croissant/",
  "rai": "http://mlcommons.org/croissant/RAI/",
  "data": {
   "@id": "cr:data",
   "@type": "@json"
  },
  "dataType": {
   "@id": "cr:dataType",
   "@type": "@vocab"
  },
  "dct": "http://purl.org/dc/terms/",
  "examples": {
   "@id": "cr:examples",
   "@type": "@json"
  },
  "extract": "cr:extract",
  "field": "cr:field",
  "fileProperty": "cr:fileProperty",
  "fileObject": "cr:fileObject",
  "fileSet": "cr:fileSet",
  "format": "cr:format",
  "includes": "cr:includes",
  "isLiveDataset": "cr:isLiveDataset",
  "jsonPath": "cr:jsonPath",
  "key": "cr:key",
  "md5": "cr:md5",
  "parentField": "cr:parentField",
  "path": "cr:path",
  "recordSet": "cr:recordSet",
  "references": "cr:references",
  "regex": "cr:regex",
  "repeated": "cr:repeated",
  "replace": "cr:replace",
  "sc": "https://schema.org/",
  "separator": "cr:separator",
  "source": "cr:source",
  "subField": "cr:subField",
  "transform": "cr:transform"
 },
 "@type": "sc:Dataset",
 "conformsTo": "http://mlcommons.org/croissant/1.0",
 "name": "TREAT Theorem Recognition",
 "alternateName": [
  "treat-theorem-recognition"
 ],
 "description": "TREAT (Theorem Recognition under Equivalence-preserving mAthematical Transformation): transformed theorem statements with theorem identity metadata and validation fields, theorem-level catalogs and a canonical formula pool, a fixed 960-item evaluation panel, the frozen 2,456-page Wikipedia source snapshot, schemas, checksums and reproducibility materials.",
 "url": "https://doi.org/10.5281/zenodo.24179071",
 "sameAs": [
  "https://huggingface.co/datasets/ai4he/treat-theorem-recognition",
  "https://github.com/mazdarani/TREAT",
  "https://synasc.ro/2026/"
 ],
 "license": "https://creativecommons.org/licenses/by-sa/4.0/",
 "version": "1.0.0",
 "datePublished": "2026-11-12",
 "inLanguage": "en",
 "isLiveDataset": false,
 "keywords": [
  "mathematics",
  "theorem-recognition",
  "theorem-variants",
  "canonicalization",
  "robustness"
 ],
 "creator": [
  {
   "@type": "sc:Person",
   "name": "Fateme Mazdarani",
   "affiliation": {
    "@type": "sc:Organization",
    "name": "Clemson University"
   }
  },
  {
   "@type": "sc:Person",
   "name": "Carlos Toxtli",
   "affiliation": {
    "@type": "sc:Organization",
    "name": "Clemson University"
   },
   "identifier": "https://orcid.org/0000-0002-9430-2661"
  }
 ],
 "citeAs": "@inproceedings{Mazdarani2026TREAT,\n title = {TREAT: Evaluating Access to Formal Knowledge across Equivalent Mathematical Representations},\n author = {Mazdarani, Fateme and Toxtli, Carlos},\n booktitle = {Proceedings of the 28th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2026)},\n publisher = {IEEE},\n year = {2026},\n note = {Forthcoming},\n url = {https://synasc.ro/2026/}\n}",
 "distribution": [
  {
   "@type": "cr:FileObject",
   "@id": "benchmark/theorem_variants.csv",
   "name": "benchmark/theorem_variants.csv",
   "contentUrl": "benchmark/theorem_variants.csv",
   "contentSize": "34080968 B",
   "encodingFormat": "text/csv",
   "sha256": "dd33ba080c8aa12bb88d8ddde8a72c9b4013fe4365e0c67e47c01ae7f671aacf"
  },
  {
   "@type": "cr:FileObject",
   "@id": "catalog/benchmark_catalog.csv",
   "name": "catalog/benchmark_catalog.csv",
   "contentUrl": "catalog/benchmark_catalog.csv",
   "contentSize": "252558 B",
   "encodingFormat": "text/csv",
   "sha256": "fc313a0895a17cbb5769eab0b205b1faff3e5af19f88ca7c920635d3f37edd19"
  },
  {
   "@type": "cr:FileObject",
   "@id": "catalog/canonical_formula_pool_benchmark.csv",
   "name": "catalog/canonical_formula_pool_benchmark.csv",
   "contentUrl": "catalog/canonical_formula_pool_benchmark.csv",
   "contentSize": "404732 B",
   "encodingFormat": "text/csv",
   "sha256": "56e600442967ab50ce6968fa3750ae7c5867770a66a28ba37cbfbac0d52c1916"
  },
  {
   "@type": "cr:FileObject",
   "@id": "evaluation_panels/shared_known_intersection_all4_960.csv",
   "name": "evaluation_panels/shared_known_intersection_all4_960.csv",
   "contentUrl": "evaluation_panels/shared_known_intersection_all4_960.csv",
   "contentSize": "1002521 B",
   "encodingFormat": "text/csv",
   "sha256": "c36dbe980f2a9759c3ca93dad6e16b67e4a137fabd0bed6b14b828e0fa0728a1"
  },
  {
   "@type": "cr:FileObject",
   "@id": "evaluation_panels/shared_known_intersection_all4_960_summary.json",
   "name": "evaluation_panels/shared_known_intersection_all4_960_summary.json",
   "contentUrl": "evaluation_panels/shared_known_intersection_all4_960_summary.json",
   "contentSize": "4061 B",
   "encodingFormat": "application/json",
   "sha256": "28f502c8b25d0266f5d03640d18b14d16dc396a494c5376062e3c4c7e04839c6"
  },
  {
   "@type": "cr:FileObject",
   "@id": "metadata/benchmark_catalog_schema.json",
   "name": "metadata/benchmark_catalog_schema.json",
   "contentUrl": "metadata/benchmark_catalog_schema.json",
   "contentSize": "1094 B",
   "encodingFormat": "application/json",
   "sha256": "04a8df3aca59d4d3ed64f7a423026c619d518626a980659eebb639c93284af73"
  },
  {
   "@type": "cr:FileObject",
   "@id": "metadata/benchmark_schema.json",
   "name": "metadata/benchmark_schema.json",
   "contentUrl": "metadata/benchmark_schema.json",
   "contentSize": "2817 B",
   "encodingFormat": "application/json",
   "sha256": "900b42088a784ebd5a7d7da77361a5df6fe612526c33b16b7d4f465be5b31e4e"
  },
  {
   "@type": "cr:FileObject",
   "@id": "metadata/canonical_formula_pool_benchmark_schema.json",
   "name": "metadata/canonical_formula_pool_benchmark_schema.json",
   "contentUrl": "metadata/canonical_formula_pool_benchmark_schema.json",
   "contentSize": "1053 B",
   "encodingFormat": "application/json",
   "sha256": "5397fa2785850c0863944f28c619bb1634457305638a027fc713fc6858294f01"
  },
  {
   "@type": "cr:FileObject",
   "@id": "metadata/checksums.sha256",
   "name": "metadata/checksums.sha256",
   "contentUrl": "metadata/checksums.sha256",
   "contentSize": "1264 B",
   "encodingFormat": "text/plain",
   "sha256": "278bb1662dada8c3902bf9352c13afbc0a72de9970674b07648491814cdd3652"
  },
  {
   "@type": "cr:FileObject",
   "@id": "metadata/dataset_summary.json",
   "name": "metadata/dataset_summary.json",
   "contentUrl": "metadata/dataset_summary.json",
   "contentSize": "1855 B",
   "encodingFormat": "application/json",
   "sha256": "57a07c021acf0e557ce1acfd53a2512733635c3fe55c0759958faa88dad6ff25"
  },
  {
   "@type": "cr:FileObject",
   "@id": "metadata/raw_schema.json",
   "name": "metadata/raw_schema.json",
   "contentUrl": "metadata/raw_schema.json",
   "contentSize": "633 B",
   "encodingFormat": "application/json",
   "sha256": "5f07976d83f9fffb209a0041e8344b8ed71085ac8b1bb9dc9d8c5e7543135c2e"
  },
  {
   "@type": "cr:FileObject",
   "@id": "metadata/release_manifest.json",
   "name": "metadata/release_manifest.json",
   "contentUrl": "metadata/release_manifest.json",
   "contentSize": "3922 B",
   "encodingFormat": "application/json",
   "sha256": "d495d1304ffce2a1d40011b23a88cc20e3e53075ca83278fdc7381ca5a13f997"
  },
  {
   "@type": "cr:FileObject",
   "@id": "metadata/shared_panel_schema.json",
   "name": "metadata/shared_panel_schema.json",
   "contentUrl": "metadata/shared_panel_schema.json",
   "contentSize": "2747 B",
   "encodingFormat": "application/json",
   "sha256": "25a1538e1951090a9f2f4844dcb10b83de9c89a8d76aaadd7b349ec855525112"
  },
  {
   "@type": "cr:FileObject",
   "@id": "raw/raw_theorem_pages.jsonl",
   "name": "raw/raw_theorem_pages.jsonl",
   "contentUrl": "raw/raw_theorem_pages.jsonl",
   "contentSize": "43649815 B",
   "encodingFormat": "application/jsonlines",
   "sha256": "6b002898d2487c080ec7f274891eb05d3d6bad601960535a80fc803cb69c4206"
  },
  {
   "@type": "cr:FileObject",
   "@id": "reproducibility/README.md",
   "name": "reproducibility/README.md",
   "contentUrl": "reproducibility/README.md",
   "contentSize": "5881 B",
   "encodingFormat": "text/markdown",
   "sha256": "8e5ea16381eff143d40032162c6006ebb23b5c4ed7fdb88d4b7e6d4de30618ea"
  },
  {
   "@type": "cr:FileObject",
   "@id": "reproducibility/familiarity_prompt.txt",
   "name": "reproducibility/familiarity_prompt.txt",
   "contentUrl": "reproducibility/familiarity_prompt.txt",
   "contentSize": "338 B",
   "encodingFormat": "text/plain",
   "sha256": "df990dd121deda8bda9d96a090528dbc38884136dc3be28fae4c54ae1d7bad63"
  },
  {
   "@type": "cr:FileObject",
   "@id": "reproducibility/model_provenance.csv",
   "name": "reproducibility/model_provenance.csv",
   "contentUrl": "reproducibility/model_provenance.csv",
   "contentSize": "2350 B",
   "encodingFormat": "text/csv",
   "sha256": "d799e31e2807c74e264249fa81eba0b645216bd3f32f9d015f224ef2c6748e3c"
  },
  {
   "@type": "cr:FileObject",
   "@id": "reproducibility/paired_significance.py",
   "name": "reproducibility/paired_significance.py",
   "contentUrl": "reproducibility/paired_significance.py",
   "contentSize": "7680 B",
   "encodingFormat": "text/x-python",
   "sha256": "7cbe0198819cb04efe41ea674819e199a2adca12e52e10353bb5b581a2d8b06a"
  },
  {
   "@type": "cr:FileObject",
   "@id": "reproducibility/recognition_prompt.txt",
   "name": "reproducibility/recognition_prompt.txt",
   "contentUrl": "reproducibility/recognition_prompt.txt",
   "contentSize": "817 B",
   "encodingFormat": "text/plain",
   "sha256": "260340e581dec87c7ecd09da4718730f6d00e789a46e262d06dc098bb91c7ad9"
  },
  {
   "@type": "cr:FileObject",
   "@id": "reproducibility/source_snapshot.md",
   "name": "reproducibility/source_snapshot.md",
   "contentUrl": "reproducibility/source_snapshot.md",
   "contentSize": "1147 B",
   "encodingFormat": "text/markdown",
   "sha256": "6a7daefa80cccc28ad15111ba8d13481931a121a351d172002b828a4b38ee059"
  }
 ],
 "recordSet": [
  {
   "@type": "cr:RecordSet",
   "@id": "benchmark_theorem_variants",
   "name": "benchmark_theorem_variants",
   "description": "Records from benchmark/theorem_variants.csv (29,900 rows).",
   "field": [
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/theorem_name",
     "name": "theorem_name",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "theorem_name"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/cleaned_theorem_name",
     "name": "cleaned_theorem_name",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "cleaned_theorem_name"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/field",
     "name": "field",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "field"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/subfield",
     "name": "subfield",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "subfield"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/selected_family",
     "name": "selected_family",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "selected_family"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/theorem_shape",
     "name": "theorem_shape",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "theorem_shape"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/expression_type",
     "name": "expression_type",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "expression_type"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/short_statement",
     "name": "short_statement",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "short_statement"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/canonical_formula_or_condition",
     "name": "canonical_formula_or_condition",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "canonical_formula_or_condition"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/required_assumptions",
     "name": "required_assumptions",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "required_assumptions"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/wikipedia_title",
     "name": "wikipedia_title",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "wikipedia_title"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/wikipedia_url",
     "name": "wikipedia_url",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "wikipedia_url"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/variant_id",
     "name": "variant_id",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "variant_id"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/family",
     "name": "family",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "family"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/original_formula",
     "name": "original_formula",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "original_formula"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/variant_formula",
     "name": "variant_formula",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "variant_formula"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/latex_math_representation",
     "name": "latex_math_representation",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "latex_math_representation"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/transformation_pipeline",
     "name": "transformation_pipeline",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "transformation_pipeline"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/difficulty_level",
     "name": "difficulty_level",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "difficulty_level"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/validity_label",
     "name": "validity_label",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "validity_label"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/validation_type",
     "name": "validation_type",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "validation_type"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "benchmark_theorem_variants/inverse_mapping_to_original",
     "name": "inverse_mapping_to_original",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "benchmark/theorem_variants.csv"
      },
      "extract": {
       "column": "inverse_mapping_to_original"
      }
     }
    }
   ]
  },
  {
   "@type": "cr:RecordSet",
   "@id": "evaluation_panels_shared_known_intersection_all4_960",
   "name": "evaluation_panels_shared_known_intersection_all4_960",
   "description": "Records from evaluation_panels/shared_known_intersection_all4_960.csv (960 rows).",
   "field": [
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/item_id",
     "name": "item_id",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "item_id"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/canonical_name",
     "name": "canonical_name",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "canonical_name"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/formula_latex",
     "name": "formula_latex",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "formula_latex"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/field",
     "name": "field",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "field"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/subfield",
     "name": "subfield",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "subfield"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/selected_family",
     "name": "selected_family",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "selected_family"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/family",
     "name": "family",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "family"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/theorem_shape",
     "name": "theorem_shape",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "theorem_shape"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/expression_type",
     "name": "expression_type",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "expression_type"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/short_statement",
     "name": "short_statement",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "short_statement"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/canonical_formula_or_condition",
     "name": "canonical_formula_or_condition",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "canonical_formula_or_condition"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/required_assumptions",
     "name": "required_assumptions",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "required_assumptions"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/wikipedia_title",
     "name": "wikipedia_title",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "wikipedia_title"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/wikipedia_url",
     "name": "wikipedia_url",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "wikipedia_url"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/variant_id",
     "name": "variant_id",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "variant_id"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/difficulty_level",
     "name": "difficulty_level",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "difficulty_level"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/validation_type",
     "name": "validation_type",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "validation_type"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/validity_label",
     "name": "validity_label",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "validity_label"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/transformation_pipeline",
     "name": "transformation_pipeline",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "transformation_pipeline"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/inverse_mapping_to_original",
     "name": "inverse_mapping_to_original",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "inverse_mapping_to_original"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/transform_bucket",
     "name": "transform_bucket",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "transform_bucket"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "evaluation_panels_shared_known_intersection_all4_960/surface_form",
     "name": "surface_form",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "evaluation_panels/shared_known_intersection_all4_960.csv"
      },
      "extract": {
       "column": "surface_form"
      }
     }
    }
   ]
  },
  {
   "@type": "cr:RecordSet",
   "@id": "raw_raw_theorem_pages",
   "name": "raw_raw_theorem_pages",
   "description": "Records from raw/raw_theorem_pages.jsonl (2,456 rows). Nested fields not described here: category_path, categories.",
   "field": [
    {
     "@type": "cr:Field",
     "@id": "raw_raw_theorem_pages/title",
     "name": "title",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "raw/raw_theorem_pages.jsonl"
      },
      "extract": {
       "column": "title"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "raw_raw_theorem_pages/url",
     "name": "url",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "raw/raw_theorem_pages.jsonl"
      },
      "extract": {
       "column": "url"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "raw_raw_theorem_pages/extract",
     "name": "extract",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "raw/raw_theorem_pages.jsonl"
      },
      "extract": {
       "column": "extract"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "raw_raw_theorem_pages/fullurl",
     "name": "fullurl",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "raw/raw_theorem_pages.jsonl"
      },
      "extract": {
       "column": "fullurl"
      }
     }
    }
   ]
  },
  {
   "@type": "cr:RecordSet",
   "@id": "catalog_canonical_formula_pool_benchmark",
   "name": "catalog_canonical_formula_pool_benchmark",
   "description": "Records from catalog/canonical_formula_pool_benchmark.csv (1,034 rows).",
   "field": [
    {
     "@type": "cr:Field",
     "@id": "catalog_canonical_formula_pool_benchmark/canonical_name",
     "name": "canonical_name",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/canonical_formula_pool_benchmark.csv"
      },
      "extract": {
       "column": "canonical_name"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_canonical_formula_pool_benchmark/field",
     "name": "field",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/canonical_formula_pool_benchmark.csv"
      },
      "extract": {
       "column": "field"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_canonical_formula_pool_benchmark/subfield",
     "name": "subfield",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/canonical_formula_pool_benchmark.csv"
      },
      "extract": {
       "column": "subfield"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_canonical_formula_pool_benchmark/result_type",
     "name": "result_type",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/canonical_formula_pool_benchmark.csv"
      },
      "extract": {
       "column": "result_type"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_canonical_formula_pool_benchmark/canonical_formula",
     "name": "canonical_formula",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/canonical_formula_pool_benchmark.csv"
      },
      "extract": {
       "column": "canonical_formula"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_canonical_formula_pool_benchmark/canonical_formula_relation_type",
     "name": "canonical_formula_relation_type",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/canonical_formula_pool_benchmark.csv"
      },
      "extract": {
       "column": "canonical_formula_relation_type"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_canonical_formula_pool_benchmark/raw_url",
     "name": "raw_url",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/canonical_formula_pool_benchmark.csv"
      },
      "extract": {
       "column": "raw_url"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_canonical_formula_pool_benchmark/raw_fullurl",
     "name": "raw_fullurl",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/canonical_formula_pool_benchmark.csv"
      },
      "extract": {
       "column": "raw_fullurl"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_canonical_formula_pool_benchmark/short_statement",
     "name": "short_statement",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/canonical_formula_pool_benchmark.csv"
      },
      "extract": {
       "column": "short_statement"
      }
     }
    }
   ]
  },
  {
   "@type": "cr:RecordSet",
   "@id": "catalog_benchmark_catalog",
   "name": "catalog_benchmark_catalog",
   "description": "Records from catalog/benchmark_catalog.csv (737 rows).",
   "field": [
    {
     "@type": "cr:Field",
     "@id": "catalog_benchmark_catalog/canonical_name",
     "name": "canonical_name",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/benchmark_catalog.csv"
      },
      "extract": {
       "column": "canonical_name"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_benchmark_catalog/field",
     "name": "field",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/benchmark_catalog.csv"
      },
      "extract": {
       "column": "field"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_benchmark_catalog/subfield",
     "name": "subfield",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/benchmark_catalog.csv"
      },
      "extract": {
       "column": "subfield"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_benchmark_catalog/selected_family",
     "name": "selected_family",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/benchmark_catalog.csv"
      },
      "extract": {
       "column": "selected_family"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_benchmark_catalog/theorem_shape",
     "name": "theorem_shape",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/benchmark_catalog.csv"
      },
      "extract": {
       "column": "theorem_shape"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_benchmark_catalog/expression_type",
     "name": "expression_type",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/benchmark_catalog.csv"
      },
      "extract": {
       "column": "expression_type"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_benchmark_catalog/formula_seed",
     "name": "formula_seed",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/benchmark_catalog.csv"
      },
      "extract": {
       "column": "formula_seed"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_benchmark_catalog/short_statement",
     "name": "short_statement",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/benchmark_catalog.csv"
      },
      "extract": {
       "column": "short_statement"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "catalog_benchmark_catalog/reference_aliases",
     "name": "reference_aliases",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "catalog/benchmark_catalog.csv"
      },
      "extract": {
       "column": "reference_aliases"
      }
     }
    }
   ]
  },
  {
   "@type": "cr:RecordSet",
   "@id": "reproducibility_model_provenance",
   "name": "reproducibility_model_provenance",
   "description": "Records from reproducibility/model_provenance.csv (10 rows).",
   "field": [
    {
     "@type": "cr:Field",
     "@id": "reproducibility_model_provenance/stage",
     "name": "stage",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "reproducibility/model_provenance.csv"
      },
      "extract": {
       "column": "stage"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "reproducibility_model_provenance/reported_system_label",
     "name": "reported_system_label",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "reproducibility/model_provenance.csv"
      },
      "extract": {
       "column": "reported_system_label"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "reproducibility_model_provenance/preserved_identifier",
     "name": "preserved_identifier",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "reproducibility/model_provenance.csv"
      },
      "extract": {
       "column": "preserved_identifier"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "reproducibility_model_provenance/role",
     "name": "role",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "reproducibility/model_provenance.csv"
      },
      "extract": {
       "column": "role"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "reproducibility_model_provenance/immutable_snapshot",
     "name": "immutable_snapshot",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "reproducibility/model_provenance.csv"
      },
      "extract": {
       "column": "immutable_snapshot"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "reproducibility_model_provenance/exact_access_date",
     "name": "exact_access_date",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "reproducibility/model_provenance.csv"
      },
      "extract": {
       "column": "exact_access_date"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "reproducibility_model_provenance/decoding_configuration",
     "name": "decoding_configuration",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "reproducibility/model_provenance.csv"
      },
      "extract": {
       "column": "decoding_configuration"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "reproducibility_model_provenance/trace_availability",
     "name": "trace_availability",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "reproducibility/model_provenance.csv"
      },
      "extract": {
       "column": "trace_availability"
      }
     }
    },
    {
     "@type": "cr:Field",
     "@id": "reproducibility_model_provenance/qualification",
     "name": "qualification",
     "dataType": "sc:Text",
     "source": {
      "fileObject": {
       "@id": "reproducibility/model_provenance.csv"
      },
      "extract": {
       "column": "qualification"
      }
     }
    }
   ]
  }
 ]
}