["license:cc-by-2.0", "size_categories:100K<n<1M", "format:parquet", "modality:text", "library:datasets", "library:pandas", "library:mlcroissant", "library:polars", "arxiv:2407.03203", "region:us"]
[{"name": "idx", "dtype": "int32"}, {"name": "Name", "dtype": "string"}, {"name": "Statement", "dtype": "string"}, {"name": "Proof", "dtype": "string"}, {"name": "Generated_informal_statement_and_proof", "dtype": "string"}, {"name": "Commented_proof", "dtype": "string"}, {"name": "File_path", "dtype": "string"}, {"name": "Commit", "dtype": "string"}]