language:en license:mit size_categories:1M<n<10M format:json modality:tabular modality:text library:datasets library:dask library:polars library:mlcroissant arxiv:2509.17995 region:us llm verification reasoning math natural-language-reasoning knowledge chain-of-thought generative-verifier