VeigaPunk/repro-numina-lean-agent-an-open-and-general-agentic-reasoning-system-for-formal-mathem

strengthen CPU audit Hw9EsvumTM

proxy results

toy-proxy claim pages 0bTEd4LpQr

toy-proxy rejudge 0bTEd4LpQr

Scaffold honesty page + tags for judge (paper reserved)

Add concrete CPU experiment evidence block for judge

Add concrete CPU experiment evidence block for judge

fix openreview_id=0bTEd4LpQr; bump updated_at for judge requeue

Update logbook: Repro: Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

initial commit