zrrr's picture

5 5

zrrr

zrrr

·

AI & ML interests

None yet

Recent Activity

liked a model about 1 month ago

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

upvoted a paper about 1 month ago

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification

updated a model about 1 month ago

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

View all activity

Organizations

liked a model about 1 month ago

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

8B • Updated Mar 25 • 636 • 10

liked a model 7 months ago

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

Text Generation • Updated Aug 27, 2025 • 3.46k • • 66

liked a dataset 9 months ago

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6, 2025 • 360 • 100 • 14

liked a Space almost 2 years ago

Reward Bench Leaderboard

Explore RewardBench model rankings and scores

liked a Space over 2 years ago

Open LLM Leaderboard

Track, rank and evaluate open LLMs and chatbots