Hugging Face's logo
Shange Tang's picture
2

Shange Tang

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

AI & ML interests

None yet

Recent Activity

updated a model 11 days ago
Goedel-LM/Goedel-Prover-V2-32B
updated a model about 2 months ago
Goedel-LM/Goedel-Formalizer-V2-8B
updated a model about 2 months ago
Goedel-LM/Goedel-Formalizer-V2-32B
View all activity

Organizations

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