Traces

Every run: the agent's full trajectory, its submissions over the 20-hour budget, and the final score.

Lean 4 Kernel Type Checker in Pascal

task page →5 runs · indexed 2026-10-08
#ModelRewardCostIn tokOut tokTimeStepsSubmits
1Gemini 4 Argon1.0000$45.6847.8M303k2h 17m1352
2Gemini 4 Argon1.0000$81.6285.5M322k3h 41m2042
3Gemini 4 Argon1.0000$56.5692.0M304k3h 17m2032
4Gemini 4 Argon0.9807$13.2439.9M250k1h 35m1172
5Gemini 4 Argon0.9807$15.0249.2M292k2h 22m1452