Mathematical Reasoning on 3-SAT (test)
91.9AccuracyCCDD
Evaluation results
| Method | Links | |
|---|---|---|
| CCDDSize=6M, Depth T=22025.10 | 91.9 | |
| LTSize=6M, Depth T=22025.10 | 91.3 | |
| MDMSize=6M, Depth T=202025.10 | 87 | |
| GPT2 scratchSize=6M, Depth T=Seq. Len.2025.10 | 73.1 | |
| MDMSize=6M, Depth T=22025.10 | 39.2 |