Skip to content

Add Fable 5.1 Max Rocq leaderboard result - #359

Merged
GeorgeTsoukalas merged 3 commits into
mainfrom
codex/fable-rocq-leaderboard
Oct 5, 2026
Merged

GeorgeTsoukalas merged 3 commits into
mainfrom
codex/fable-rocq-leaderboard

Simplify Fable compute budget to $45/task

b92433d
Select commit
Loading
Failed to load commit list.