zrrr

zrrr's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 29 days ago

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

Paper • 2508.03613 • Published 30 days ago • 11

liked a dataset about 2 months ago

Goedel-LM/MathOlympiadBench

Viewer • Updated 29 days ago • 360 • 328 • 8

authored 3 papers about 2 months ago

Panacea: Pareto Alignment via Preference Adaptation for LLMs

Paper • 2402.02030 • Published Feb 3, 2024 • 10

From Uncertainty to Trust: Enhancing Reliability in Vision-Language Models with Uncertainty-Guided Dropout Decoding

Paper • 2412.06474 • Published Dec 9, 2024

Offline Reinforcement Learning for LLM Multi-Step Reasoning

Paper • 2412.16145 • Published Dec 20, 2024 • 39

updated a model about 2 months ago

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

Text Generation • 33B • Updated 8 days ago • 3.51k • 38

upvoted a paper 9 months ago

Offline Reinforcement Learning for LLM Multi-Step Reasoning

Paper • 2412.16145 • Published Dec 20, 2024 • 39

liked a Space over 1 year ago

Running

395

395

Reward Bench Leaderboard

📐

Display and analyze reward model evaluation results

upvoted a paper over 1 year ago

Panacea: Pareto Alignment via Preference Adaptation for LLMs

Paper • 2402.02030 • Published Feb 3, 2024 • 10

liked a Space about 2 years ago

Running on CPU Upgrade

13.5k

13.5k

Open LLM Leaderboard

🏆

Track, rank and evaluate open LLMs and chatbots