Verina (189 problems) 74.1% 128 proved + 12 disproved (Claude Opus 4.5, 32 turns x 16 agents) Clever-Loom (161 problems) 62.1% 100 / 161 problems solved (Claude Opus 4.5, 32 turns x 16 agents) ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results