CORE ENV RL Env (Community)
Fresh
Formally verifiable reasoning on general symbolic domains (planning, logic, math...) with procedurally generated data.
- Type
- RL Env
- Runtime
single-turn- License
- unknown
- Size
- v1.0.6
- Published
- Sep 2025
Cite
Notes
Only stored in your browser.
Public scores on this env
11 vf-eval report across 1 model