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-09-02
#ModelRewardCostIn tokOut tokTimeStepsSubmits
1Muse Spark 1.20.0000$19.14108.5M529k2h 29m3481
2Muse Spark 1.20.0000$21.0953.6M699k3h 48m2052
3Muse Spark 1.20.0000$29.46162.8M830k6h 1m4043
4Muse Spark 1.20.0000$27.3088.9M859k4h 46m2781
5Muse Spark 1.20.0000$9.5148.0M382k2h 35m2132