Senior Engineer Benchmark
Checks

gpt-6-sol

35%
overall

By task

Model Overall proof-rewrite-integrated
gpt-6-sol
Codex CLI · high effort
35% 35%