Learned evaluators for Lean 4 proof verdicts and compiler feedback, with hybrid GRPO rewards.
Updated 5 days ago 1 commits
prism-dev|Mirror: epfl-lara/learning-lean-feedback (⭐0)
5 days agoAbout
Learned evaluators for Lean 4 proof verdicts and compiler feedback, with hybrid GRPO rewards.
Readme