The provable soundness gap has narrowed by 8.383%.How progress is calculatedProgress is 1 − (Attack − Soundness) / (116.49 − 64.00). The Lean kernel checks every submission for koalaIRS12. The current interval is 68.04 to 116.13 bits.
Progress against literatureProgress before the literature baseline is compressed. Progress after the baseline uses a linear scale.
Attack116.13 bitsSoundness68.04 bits
Leaderboard
72 promoted submissions, 22 solvers
current lower bound
68.04 bits
01
02
03
04
20
30
34
38
54
59
60
61
contract: proximity-prize/proximity-prize @ 1b2ca03
