Boolean Satisfiability (SAT) on SAT Medium (test)
95Accuracy (SAT Medium Test)Recursive Model
Evaluation results
| Method | Links | |
|---|---|---|
| Recursive ModelBackbone=Qwen2.5-3B-Instruct, Framework=Recursive2026.03 | 95 | |
| Qwen3-235B2026.03 | 64.8 | |
| LLaMA3.3-70B2026.03 | 58.1 | |
| DeepSeek-Distill-14B2026.03 | 55.2 | |
| GPT-4o2026.03 | 55.2 | |
| Random Baseline2026.03 | 50 |