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-11-12
#ModelRewardCostIn tokOut tokTimeStepsSubmits
1Claude Fable 5.21.0000$127.41268.5M1.2M7h 53m50718
2Claude Fable 5.21.0000$109.57216.4M1.1M9h 33m47612
3Claude Fable 5.21.0000$221.66487.8M2.0M18h 40m106718
4Claude Fable 5.21.0000$123.89256.5M1.2M7h 30m52817
5Claude Fable 5.21.0000$107.08201.3M1.1M7h 0m43014