Downloads · 30 days
4
11% of all-time downloads
Sequent-Prover-27B-Preview
saccha-ai/Sequent-Prover-27B-Preview
Sequent-Prover-27B-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
37
Public
Parameters
27.4B
54.7 GB on disk
Likes
0
Public
Repo makeup
Click a slice to open those files.
.safetensors54.7 GB · 100%
At a glance
- Model type
- qwen3_5
- Access
- Public
- Created
- Jun 12, 2026
- Updated
- Jun 12, 2026
- SHA
- 7f0f0724
- Type
- qwen3_5
- Created
- Jun 12, 2026
- Updated
- Jun 12, 2026