Hugging Face model: korazer/qwen3-8b-lean4-prover-finetuned
Author: korazer
Created: 2025-09-11 14:18:40
Last modified: 2025-09-24 04:45:35
Library: transformers
Likes: 0 | Downloads: 0
Tags: transformers, safetensors, arxiv:1910.09700, endpoints_compatible, region:us
Card metadata:
library_name: transformers