Rlmath Decomp
Fresh
Lean 4 decomposition MDP: root states lemmas + assembly, frozen leaf prover closes them
- Type
- RL Env
- Capabilities
- Math
- Runtime
single-turn- License
- mit
- Size
- v0.1.2
- Published
- Aug 2026
Cite
Notes
Only stored in your browser.
Lean 4 decomposition MDP: root states lemmas + assembly, frozen leaf prover closes them
single-turnCite
Notes
Only stored in your browser.