Constraint satisfaction on ZL-XL
97.3AccuracyDS-R1-0528+ASP
Evaluation Results
| Method | Links | |
|---|---|---|
| DS-R1-0528+ASPInference Pipeline=LLM+ASP, Prompt Reference Type=Compact Reference2026.04 | 97.3 | |
| Gemini 2.5 Pro+ASPInference Pipeline=LLM+ASP, Prompt Reference Type=Compact Reference2026.04 | 96.7 | |
| o4-mini+ASPInference Pipeline=LLM+ASP, Prompt Reference Type=Compact Reference2026.04 | 95 | |
| o4-miniInference Pipeline=Baseline2026.04 | 88.7 | |
| Gemini 2.5 Flash+ASPInference Pipeline=LLM+ASP, Prompt Reference Type=Compact Reference2026.04 | 84.3 | |
| DS-R1-0528Inference Pipeline=Baseline2026.04 | 83 | |
| Gemini 2.5 ProInference Pipeline=Baseline2026.04 | 74.7 | |
| DS-V3+ASPInference Pipeline=LLM+ASP, Prompt Reference Type=Compact Reference2026.04 | 69 | |
| DS-V3Inference Pipeline=Baseline2026.04 | 42 | |
| Gemini 2.5 FlashInference Pipeline=Baseline2026.04 | 38 |