Hugging Face's logo
zrrr's picture
5 5

zrrr

zrrr
21world's profile picture
ยท

AI & ML interests

None yet

Recent Activity

liked a model 4 days ago
Goedel-LM/Goedel-Code-Prover-8B
upvoted a paper 5 days ago
Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
updated a model 5 days ago
Goedel-LM/Goedel-Code-Prover-8B
View all activity

Organizations

Princeton University's profile picture Goedel-LM's profile picture Princeton AI for Math's profile picture