Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
zrrr's picture
5 5

zrrr

zrrr
21world's profile picture
ยท

AI & ML interests

None yet

Recent Activity

liked a model 23 days ago
Goedel-LM/Goedel-Code-Prover-8B
upvoted a paper 24 days ago
Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
updated a model 24 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

liked a model 23 days ago

Goedel-LM/Goedel-Code-Prover-8B

8B โ€ข Updated 24 days ago โ€ข 269 โ€ข 9
liked a model 7 months ago

Goedel-LM/Goedel-Prover-V2-32B

Text Generation โ€ข Updated Aug 27, 2025 โ€ข 1.85k โ€ข 66
liked a dataset 9 months ago

Goedel-LM/MathOlympiadBench

Viewer โ€ข Updated Aug 6, 2025 โ€ข 360 โ€ข 90 โ€ข 14
liked a Space almost 2 years ago
Running
Agents
427

Reward Bench Leaderboard

๐Ÿ“
427

Explore RewardBench model rankings and scores

liked a Space over 2 years ago
Running on CPU Upgrade
14k

Open LLM Leaderboard

๐Ÿ†
14k

Track, rank and evaluate open LLMs and chatbots

Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs