Senior Engineer Benchmark
Checks

gpt-6.1-sol

71%
overall

By task

Model Overall proof-rewrite-integrated
gpt-6.1-sol
Codex CLI · high effort
71% 71%