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
1Claude Sonnet 5.51.0000$56.70219.1M1.0M5h 58m5016
2Claude Sonnet 5.51.0000$55.34209.5M1.1M7h 29m5416
3Claude Sonnet 5.51.0000$53.61204.3M990k7h 10m4856
4Claude Sonnet 5.51.0000$55.03208.1M1.1M6h 24m4957
5Claude Sonnet 5.50.9841$56.48214.6M1.1M12h 59m5138