Mathcheck RL
Fresh
Answer-key-free bounded integer-math RL environment with Lean-checked rewards
- Type
- RL Env
- Capabilities
- Math
- Runtime
single-turn- License
- unknown
- Size
- v0.1.2
- Published
- Sep 2026
- Updated
- Oct 2026
Cite
Notes
Only stored in your browser.