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

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

8B โ€ข Updated 21 days ago โ€ข 252 โ€ข 9
liked a model 6 months ago

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

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

Goedel-LM/MathOlympiadBench

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

Reward Bench Leaderboard

๐Ÿ“
427

Explore RewardBench model rankings and scores

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

Open LLM Leaderboard

๐Ÿ†
13.9k

Track, rank and evaluate open LLMs and chatbots

Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs