openbmb/MA-ProofBench

Name: openbmb/MA-ProofBench
Creator: openbmb
License: mit
Keywords: dataset, text-generation, text, datasets, dataset, huggingface-import, external-catalog, dataset, mit, task_categories:text-generation, language:en, license:mit, size_categories:n<1k, format:json, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, arxiv:2606.13782, region:us, mathematics, mathematical-analysis

openbmb/MA-ProofBench: Dataset from Hugging Face: openbmb/MA-ProofBench License: mit. external Hugging Face metadata. Scan: pending.

License: mit
Scan status: pending
Hosting status: external
Upstream: openbmb/MA-ProofBench

Open interactive artifact page