zrrr's picture

6 5

zrrr

zrrr

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 3 days ago

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

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

View all activity

Organizations

liked a model about 1 month ago

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

8B • Updated Mar 25 • 1.15k • 10

liked a model 7 months ago

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

Text Generation • Updated Aug 27, 2025 • 6.16k • • 67

liked a dataset 10 months ago

Goedel-LM/MathOlympiadBench

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

liked a Space about 2 years ago

Reward Bench Leaderboard

Explore RewardBench model rankings and scores

liked a Space almost 3 years ago

Open LLM Leaderboard

Track, rank and evaluate open LLMs and chatbots