Leanstral 1.5
2 days ago
- #Autoformalization
- #ProofEngineering
- #Lean4
- Announcement of Leanstral 1.5, an updated Lean 4 formal proof engineering model
- Optimized for automated theorem proving and autoformalization
- Features 119B total parameters with 6.5B active
- Supports 256k context length
- Priced at $0
- Includes speed, performance, and modality improvements