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
Commit History
Update README.md
cef473f
verified
Vilin97
commited on
Mar 2
Update README.md
29a0ae8
verified
Siyuan233
commited on
Mar 1
Update README.md
f6827ba
verified
Siyuan233
commited on
Mar 1
Update README.md
e4956d2
verified
Siyuan233
commited on
Mar 1
Update README.md
678d406
verified
Siyuan233
commited on
Feb 27
Update README.md
aa51a3d
verified
Siyuan233
commited on
Feb 27
Update README.md
9915542
verified
Siyuan233
commited on
Feb 27
Update README.md
facfaab
verified
Siyuan233
commited on
Feb 27
Update README.md
c5d3d43
verified
Siyuan233
commited on
Feb 27
Update README.md
de3d758
verified
Siyuan233
commited on
Feb 27
Upload folder using huggingface_hub
9c4c6e8
verified
Siyuan233
commited on
Feb 27
initial commit
c632497
verified
Vilin97
commited on
Feb 27