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
/
vocab.json
Siyuan233
Upload folder using huggingface_hub
9c4c6e8
verified
2 months ago
raw
Copy download link
history
contribute
delete
Safe
2.78 MB
File too large to display, you can
check the raw version
instead.