zrrr's picture

6 5

zrrr

zrrr

·

AI & ML interests

None yet

Recent Activity

upvoted a paper about 2 months ago

Odysseus: Scaling VLMs to 100+ Turn Decision-Making in Games via Reinforcement Learning

liked a model 3 months ago

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

upvoted a paper 3 months ago

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

View all activity

Organizations

liked a model 3 months ago

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

8B • Updated Mar 25 • 24 • 11

liked a model 9 months ago

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

Text Generation • 33B • Updated Aug 27, 2025 • 10.9k • • 71

liked a dataset 11 months ago

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6, 2025 • 360 • 215 • 17

liked a Space about 2 years ago

Reward Bench Leaderboard

Explore and compare model scores on RewardBench benchmarks

liked a Space almost 3 years ago

Open LLM Leaderboard

Track, rank and evaluate open LLMs and chatbots