Leanabell-Prover. Through RL training, stimulate the reflective capabilities of the prover model.

github.com/Leanabell-LM/Leanabell-Prover
by @Leanabell-LM

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.