Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
uw-math-ai
/
gAPRIL-w-exp
like
2
Follow
University of Washington Math AI Lab
20
Text Generation
Transformers
Safetensors
uw-math-ai/APRIL
qwen3
lean4
conversational
text-generation-inference
arxiv:
2602.02990
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
main
gAPRIL-w-exp
/
tokenizer.json
Commit History
Upload folder using huggingface_hub
9c4c6e8
verified
Siyuan233
commited on
Feb 27
Siyuan233 commited on 
