Paper: Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning
Code: GitHub Repository
reasoning-core is a text-based RLVR for LLM reasoning training.
It is centered on expressive symbolic tasks, including full fledged FOL, formal mathematics with TPTP, formal planning with novel domains, and syntax tasks.
We introduce Reasoning Core, a new scalable environment for Reinforcement
Learning with Verifiable Rewards (RLVR)… See the full description on the dataset page:
https://huggingface.co/datasets/reasoning-core/symbolic-reasoning-env.
