Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Tianjiao Nie
ivwumupy
1
Follow
ivwumupy
AI & ML interests
None yet
Recent Activity
authored
a paper
about 9 hours ago
FormaTheoria: Constructing Large-Scale Lean Theories from Mathematical Literature $-$ Toward the Formalization of the Classification of Finite Simple Groups
authored
a paper
about 9 hours ago
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
upvoted
a
paper
about 16 hours ago
FormaTheoria: Constructing Large-Scale Lean Theories from Mathematical Literature - Toward the Formalization of the Classification of Finite Simple Groups
View all activity
Organizations
None yet
ivwumupy
's datasets
None public yet
