VladShash/formalmathatepfl_feedback-grpo-reasoning-sft_minif2f_20261104_073844_raw.json Viewer • Updated 3 days ago • 488 • 41
VladShash/formalmathatepfl_feedback-grpo-reasoning-sft_minif2f_20261104_073826_raw.json Viewer • Updated 3 days ago • 488 • 40
VladShash/formalmathatepfl_feedback-grpo-reasoning-sft_minif2f_20261104_003410_raw.json Viewer • Updated 3 days ago • 488 • 42
VladShash/EPFL-LARA_lean-world-model-qwen3-8b-grpo_minif2f_20261104_073651_raw.json Viewer • Updated 3 days ago • 488 • 36
VladShash/EPFL-LARA_lean-world-model-qwen3-8b-grpo_minif2f_20261104_073717_raw.json Viewer • Updated 3 days ago • 488 • 38
VladShash/EPFL-LARA_lean-world-model-qwen3-8b-grpo_minif2f_20261104_073743_raw.json Viewer • Updated 3 days ago • 488 • 40