Syllogistic Reasoning on Syllogistic Reasoning Shared Task Subtask 1 official (test)
95.29Accuracymodular neuro-symbolic system
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| modular neuro-symbolic systemFOL Parser=Qwen3 4B Thinking, Translator=Gemma 3 27B, FOL Prover=Prover92026.05 | 95.29 | 3.21 | 39.08 | 19 |