Hugging Face's logo
Shange Tang's picture
2

Shange Tang

shangetang
ljupco's profile picture Tonic's profile picture
ยท

AI & ML interests

None yet

Recent Activity

updated a model 22 days ago
Goedel-LM/Goedel-Formalizer-V2-8B
updated a model 22 days ago
Goedel-LM/Goedel-Formalizer-V2-32B
published a model 22 days ago
Goedel-LM/Goedel-Formalizer-V2-8B
View all activity

Organizations

Princeton University's profile picture Goedel-LM's profile picture