Finished ProofForge experiments (Lean 4 proving, Oct-Nov 2026), kept as checkpoints to cite later. Smoke runs; no benchmark claims.
-
viai957/proofforge-goedel8b-e2e-smoke-checkpoints
Text Generation • Updated -
viai957/proofforge-goedel8b-sft-lora-e2e-smoke
Text Generation • Updated • 35 • 1 -
viai957/proofforge-goedel8b-e2e-attested-generations
Viewer • Updated • 15.6k • 198 -
viai957/Goedel-Prover-V2-8B-EI-campaign1-r1
Text Generation • 8B • Updated • 746