Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Function-level synthesis on LCB hard (held-out 25% eval)

33.2Utility Difference (Δπ)

SR

-1.0167.86716.7525.633Jun 23, 2026
Updated 1mo ago

Evaluation Results

MethodLinks
2026.06
33.2
2026.06
20
2026.06
7.6
2026.06
7.5
2026.06
6
2026.06
4.6
2026.06
4.4
2026.06
4.3
2026.06
3.1
2026.06
2.5
2026.06
2.4
2026.06
2.1
2026.06
0.3