Hugging Face model: uw-math-ai/gAPRIL-wo-exp
Author: uw-math-ai
Created: 2026-02-27 21:05:23
Last modified: 2026-03-01 00:58:29
Pipeline: text-generation
Library: transformers
Likes: 1 | Downloads: 84
Tags: transformers, safetensors, qwen3, text-generation, lean4, conversational, dataset:uw-math-ai/APRIL, arxiv:2602.02990, base_model:Goedel-LM/Goedel-Prover-V2-8B, base_model:finetune:Goedel-LM/Goedel-Prover-V2-8B, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: Goedel-LM/Goedel-Prover-V2-8B
Card metadata:
license: apache-2.0
datasets: uw-math-ai/APRIL
tags: lean4
base_model: Goedel-LM/Goedel-Prover-V2-8B
pipeline_tag: text-generation
library_name: transformers