Lean proof LoRA journey: SFT, DPO regression, compiler-feedback repair, strict evals, and Jensen SEARCH_EXHAUSTED (no RH proof).
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
