List your company

Symbolic planning on Countdown

40.6Exact-match Accuracy (Ngen=128)DISPO
19.48824.96930.4535.931Feb 6, 2026

Evaluation results

MethodLinks
DISPObase_model=LLaDA-8B-Instruct, algorithm=DISPO2026.0240.637.139.839.2
DISPObase_model=SFT w/ s1k, algorithm=DISPO2026.0237.532.840.236.8
diffu-GRPObase_model=SFT w/ s1k, algorithm=diffu-GRPO2026.0234.83242.236.3
diffu-GRPObase_model=LLaDA-8B-Instruct, algorithm=diffu-GRPO2026.0233.231.337.133.9
LLaDA-8B-Instructbase_model=LLaDA-8B-Instruct2026.0220.719.51618.7
SFT w/ s1kbase_model=SFT w/ s1k2026.0220.314.523.819.5