reasoning-core/formal-reasoning-env

Name: reasoning-core/formal-reasoning-env
Creator: reasoning-core
License: cc-by-4.0
Keywords: dataset, text-generation, text, datasets, dataset, huggingface-import, external-catalog, dataset, cc-by-4.0, task_categories:text-generation, language:en, license:cc-by-4.0, size_categories:100k<n<1m, format:parquet, format:optimized-parquet, modality:text, library:datasets, library:dask, library:polars, library:mlcroissant, arxiv:2509.18083, arxiv:2603.02208, region:us

reasoning-core/formal-reasoning-env: Dataset from Hugging Face: reasoning-core/formal-reasoning-env License: cc-by-4.0. external Hugging Face metadata. Scan: pending.

License: cc-by-4.0
Scan status: pending
Hosting status: external
Upstream: reasoning-core/formal-reasoning-env

Open interactive artifact page