Senior Engineer Benchmark
Checks

gpt-6-astra

81%
overall

By task

Model Overall proof-rewrite-integrated
gpt-6-astra
Codex CLI · high effort
81% 81%