goedel-prover-formal-theorem-proving

Train language models for formal theorem proving via expert iteration with verifier-guided self-correction and checkpoint merging.

Independent GitHub snapshot · Automated classification · Original documentation governs