Multilingual Syllogistic Reasoning on Syllogistic Reasoning Shared Task Subtask 3 official (test)
93.75Accuracymodular neuro-symbolic system
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| modular neuro-symbolic systemFOL Parser=Qwen3 4B Thinking, Translator=Gemma 3 27B, FOL Prover=Prover9, Multilingual translation step=prompted LLM with self-evaluation2026.05 | 93.75 | 6.25 | 31.45 | 8 |