Hugging Face model: yotsubian/qwen3-4b-lean-prover
Author: yotsubian
Created: 2026-03-14 09:46:37
Last modified: 2026-03-14 09:46:37
Likes: 0 | Downloads: 0
Tags: region:us
Card metadata: