Logical Reasoning on ProofWriter depth-5 OWA setting (Accuracy)
71.95Accuracy (ProofWriter d5 OWA)LogicAgent
Evaluation Results
| Method | Links | |
|---|---|---|
| LogicAgentType=AR+SR, Base Model=Qwen2.52025.09 | 71.95 | |
| SymbCoTType=SR, Base Model=Qwen2.52025.09 | 64.67 | |
| Logic-LMType=SR, Base Model=Qwen2.52025.09 | 63.82 | |
| AristotleType=AR+SR, Base Model=Qwen2.52025.09 | 63.23 | |
| CoTType=LR, Base Model=Qwen2.52025.09 | 63.17 | |
| NaiveType=LR, Base Model=Qwen2.52025.09 | 59.17 | |
| CRType=AR, Base Model=Qwen2.52025.09 | 58.33 | |
| ToTType=AR, Base Model=Qwen2.52025.09 | 46.67 |