zrrr's picture

4 4

zrrr

zrrr

·

AI & ML interests

None yet

Recent Activity

authored a paper 7 days ago

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

updated a dataset 10 days ago

Goedel-LM/RL_dataset_V2

updated a dataset 10 days ago

Goedel-LM/SFT_dataset_v2

View all activity

Organizations

liked a model 5 months ago

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

Text Generation • Updated Aug 27, 2025 • 4.21k • 64

liked a dataset 8 months ago

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6, 2025 • 360 • 228 • 13

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