Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
Hoskinson Center for Formal Mathematics
university
Activity Feed
Request to join this org
Follow
14
AI & ML interests
Formal mathematics
Team members
2
hoskinson-center
's models
2
Sort: Recently updated
hoskinson-center/proofGPT-v0.1-6.7B
Text Generation
•
Updated
Feb 15, 2023
•
937
•
10
hoskinson-center/proofGPT-v0.1
Text Generation
•
Updated
Feb 15, 2023
•
935
•
3
