OProver-32B
> A unified framework for agentic formal theorem proving in Lean 4. — 📄 Paper: OProver: A Unified...
Метка: lean4
BFS-Prover-V2-7B
BFS-Prover-V2: масштабирование многооборотного RL и многоагентного поиска по дереву для LLM Step-Provers Мы представляем BFS-Prover-V2, современную систему доказательства...
BFS-Prover-V2-32B
BFS-Prover-V2: масштабирование многооборотного RL и многоагентного поиска по дереву для LLM Step-Provers Мы представляем BFS-Prover-V2, современную систему доказательства...
BFS-Prover-V1-7B
🚀 BFS-Prover: масштабируемый поиск по дереву наилучшего первого варианта для автоматического доказательства теорем на основе LLM. Современная модель...