m-a-p / OProver-8B
Agents8.2B6612Updated Jul 20, 2026
Downloads
661
Likes
2
Last updated
Jul 20, 2026
License
apache-2.0
A unified framework for agentic formal theorem proving in Lean 4.
Tasks & library
- text generation
- transformers
Tags
- transformers
- qwen3
- text-generation
- lean4
- theorem-proving
- formal-mathematics
Technical specifications
Parameters8.2B
Librarytransformers
Languagesen
Licenseapache-2.0