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