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 direct…

独立 GitHub 快照 · 自动分类 · 以原作者文档为准