Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up
zrrr's picture

zrrr

zrrr
6 5
21world's profile picture
·

AI & ML interests

None yet

Organizations

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

liked a model 3 months ago

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

8B • Updated Mar 25 • 15 • 11
liked a model 9 months ago

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

Text Generation • 33B • Updated Aug 27, 2025 • 10.2k • • 72
liked a dataset 12 months ago

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6, 2025 • 360 • 238 • 17
liked a Space about 2 years ago
Running
Agents
431

Reward Bench Leaderboard

📐
431

Explore and compare model scores on RewardBench benchmarks

liked a Space almost 3 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