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
uptoisomorphism
's collections
1
LEAN4-Related
deepseek-ai/DeepSeek-Prover-V1.5-RL
7B
•
Updated
Aug 29, 2024
•
633
•
64
LEAN4-Related
deepseek-ai/DeepSeek-Prover-V1.5-RL
7B
•
Updated
Aug 29, 2024
•
633
•
64
