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
1Muse Spark 1.30.9776$411.77410.4M713k19h 52m7992
2Muse Spark 1.30.7421$154.98818.9M1.3M19h 49m18052
3Muse Spark 1.30.5609$411.55416.2M856k19h 58m9591
4Muse Spark 1.30.5029$384.24384.5M940k19h 50m9371
5Muse Spark 1.30.3530$389.61408.6M860k19h 59m10151