Kakeya OProver — Lean Proof Training Journey
Collection
Lean proof LoRA journey: SFT, DPO regression, compiler-feedback repair, strict evals, and Jensen SEARCH_EXHAUSTED (no RH proof). • 6 items • Updated • 1
Lee
cryptobiosis
·
AI & ML interests
None yet
Recent Activity
upvoted a collection 2 days ago
Kakeya OProver — Lean Proof Training Journey updated a collection 2 days ago
Kakeya OProver — Lean Proof Training Journey updated a collection 2 days ago
Kakeya OProver — Lean Proof Training JourneyOrganizations
upvoted a collection 2 days ago