3-SAT
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| 3-SAT Solving | 3-SAT 100 sampled formulas 20 variables, 91 clauses (phase transition 4.258 * n) (test) | Satisfied Clauses Rate99.85 | 11 | |
| Combinatorial Reasoning | 3-SAT | Accuracy90.9 | 8 | |
| Mathematical Reasoning | 3-SAT (test) | Accuracy91.9 | 5 |
Showing 3 of 3 rows