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

AI Papers Podcast Daily - Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics