Hugging Face model: uw-math-ai/gAPRIL-w-exp
Author: uw-math-ai
Created: 2026-02-27 17:57:05
Last modified: 2026-03-02 01:29:43
Pipeline: text-generation
Library: transformers
Likes: 2 | Downloads: 14
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