Hugging Face model: mradermacher/Qwen3-8B-Herald-SFT-GGUF
Author: mradermacher
Created: 2026-02-20 04:38:39
Last modified: 2026-02-20 05:12:20
Library: transformers
Likes: 1 | Downloads: 54
Tags: transformers, gguf, lean4, mathlib, autoformalization, formal-verification, math, peft, lora, qlora, sft, en, dataset:FrenzyMath/Herald_statements, license:apache-2.0, endpoints_compatible, region:us, conversational
Card metadata:
base_model: xiaolesu/Qwen3-8B-Herald-SFT
datasets: FrenzyMath/Herald_statements
language: en
library_name: transformers
license: apache-2.0
mradermacher: readme_rev: 1
quantized_by: mradermacher
tags: lean4, mathlib, autoformalization, formal-verification, math, peft, lora, qlora, sft