Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
3
2
Ruida WANG
RickyDeSkywalker
Follow
rwangbr@connect.ust.hk
AI & ML interests
None yet
Organizations
None yet
Papers
2
arxiv:
2312.02216
arxiv:
2310.13671
models
1
RickyDeSkywalker/TheoremLlama
Text Generation
•
Updated
Jul 12
•
44
•
4
datasets
1
RickyDeSkywalker/OpenBootstrappedTheorem
Viewer
•
Updated
Jul 12
•
107k
•
66
•
5