Hugging Face's logo
Tianjiao Nie's picture

Tianjiao Nie

ivwumupy
1

AI & ML interests

None yet

Recent Activity

authored a paper about 6 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 6 hours ago
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
upvoted a paper about 13 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