Lean Reinforcement
A work-in-progress research project applying Reinforcement Learning to automated theorem proving in the Lean mathematical language.
A work-in-progress research project applying Reinforcement Learning to automated theorem proving in the Lean mathematical language.