Hugging Face model: saccha-ai/Sequent-Prover-4B-Preview
Author: saccha-ai
Created: 2026-05-05 07:04:39
Last modified: 2026-05-05 07:06:30
Likes: 0 | Downloads: 7
Tags: safetensors, qwen3_5, region:us
Card metadata: