VeigaPunk/repro-numina-lean-agent-an-open-and-general-agentic-reasoning-system-for-formal-mathem
0
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
