Finished ProofForge experiments (Lean 4 proving, Oct-Nov 2026), kept as checkpoints to cite later. Smoke runs; no benchmark claims.
vignesh yaadav PRO
viai957
AI & ML interests
None yet
Recent Activity
updated a collection about 15 hours ago
ProofForge experiment archive updated a collection about 15 hours ago
ProofForge experiment archive updated a collection about 15 hours ago
ProofForge experiment archiveOrganizations
None yet
models 22
viai957/proofforge-goedel8b-e2e-smoke-checkpoints
Updated
viai957/Goedel-Prover-V2-8B-EI-campaign1-r3
Text Generation • 8B • Updated • 316 • 1
viai957/Goedel-Prover-V2-8B-EI-campaign1-r2
Text Generation • 8B • Updated • 296
viai957/Goedel-Prover-V2-8B-EI-campaign1-r1
Text Generation • 8B • Updated • 303
viai957/proofforge-goedel8b-sft-lora-e2e-smoke
Updated • 17 • 1
viai957/nano-mistral-o1-grpo-stageb-step48
Text Generation • 7B • Updated • 47
viai957/nano-mistral-o1-dpo-arm-b-response
Text Generation • 7B • Updated • 36
viai957/nano-mistral-o1-dpo-arm-b
Text Generation • 7B • Updated • 41
viai957/nano-mistral-o1-dpo-arm-a-halfepoch-salvage
Text Generation • 7B • Updated • 42
viai957/nano-mistral-o1-dpo-arm-a
Text Generation • 7B • Updated • 40