formal-reasoning-env
- Type
- dataset
- Venue
- reasoning-core
- Year
- 2026
- Source
- huggingface
- Access
- free
- Language
- en
- Added
- 2026-07-17T19:58:11.902607+00:00
- Verified
- 2026-07-17T19:58:11.902607+00:00
Summary
[Paper: Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning](https://huggingface.co/papers/2509.18083)
Keywords
hf-dataset language-modeling · -reasoning · -math parquet optimized-parquet text datasets dask polars mlcroissant agent reasoning logic math rl env planning has-paper
Topics
Language Modeling, Reasoning, Math
Research notes
- downloads=176; likes=13