Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
uptoisomorphism
university
https://huggingface.co/uptoisomorphism
Activity Feed
Follow
3
AI & ML interests
None defined yet.
Team members
3
Collections
1
LEAN4-Related
deepseek-ai/DeepSeek-Prover-V1.5-RL
7B
•
Updated
Aug 29, 2024
•
1.77k
•
65
LEAN4-Related
deepseek-ai/DeepSeek-Prover-V1.5-RL
7B
•
Updated
Aug 29, 2024
•
1.77k
•
65
models
0
None public yet
datasets
0
None public yet
