Maximum Satisfiability on 21 target distributions MAXSAT (test)
1Q_LLMLLM Synthesis Agent
Evaluation Results
| Method | Links | |||||||
|---|---|---|---|---|---|---|---|---|
| LLM Synthesis Agent2026.05 | 1 | 0.122 | 0.074 | 17.1 | 217.4 | 328.8 | 1 |
Loading the SOTA2 catalog…
| Method | Links | |||||||
|---|---|---|---|---|---|---|---|---|
| LLM Synthesis Agent2026.05 | 1 | 0.122 | 0.074 | 17.1 | 217.4 | 328.8 | 1 |