Downloads · 30 days
5
10% of all-time downloads
Sequent-Prover-9B-Preview
saccha-ai/Sequent-Prover-9B-Preview
Sequent-Prover-9B-Preview is a machine learning model from saccha-ai. Use it for the machine learning task on the model card, and read the license before you ship it in a product.
All-time downloads
50
Public
Parameters
9.4B
18.8 GB on disk
Likes
0
Public
Repo makeup
Click a slice to open those files.
.safetensors18.8 GB · 100%
At a glance
- Model type
- qwen3_5
- Access
- Public
- Created
- Jun 12, 2026
- Updated
- Jun 17, 2026
- SHA
- 4c052b3f
- Type
- qwen3_5
- Created
- Jun 12, 2026
- Updated
- Jun 17, 2026