Reasoning Core
Fresh
reasoning-core is a suite of procedural data generators for LLM pre-training and post-training. It is centered on expressive symbolic tasks, including full fledged first-order-logic, formal mathematics with TPTP, planning, and CFG syntax tasks.
- Type
- RL Env
- Runtime
ORS- License
- unknown
- Size
- 550 tasks
- Published
- Mar 2026
- Canonical
- openreward.ai/dsileo/reasoning-core
Cite
Notes
Only stored in your browser.