Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
HarleyCooper
/
nanochat-AquaRat
like
3
Reinforcement Learning
deepmind/aqua_rat
English
autoformalization
education
nanochat
License:
mit
Model card
Files
Files and versions
xet
Community
main
nanochat-AquaRat
/
scripts
Commit History
Sync docs from GitHub
af7be05
verified
HarleyCooper
commited on
Oct 24, 2025
HarleyCooper
commited on
