numina-lean-agent-an-open-and-general-agentic

Agentic systems have recently become the dominant paradigm for formal theorem proving, achieving strong performance by coordinating multiple models and tools. However, existing approaches often rely on task-specific pipelines and trained formal provers, limiting their flexibility and reproducibility. In this paper, we propose the paradigm that directly uses…

Independent GitHub snapshot · Automated classification · Original documentation governs