Papers by Jundong Xu
Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework (2025.acl-long)
Copied to clipboard
Jundong Xu, Hao Fei, Meng Luo, Qian Liu, Liangming Pan, William Yang Wang, Preslav Nakov, Mong-Li Lee, Wynne Hsu
| Challenge: | Existing systems fail to fully leverage the structure of logical tasks throughout the reasoning process, causing bottlenecks in efficiency and efficacy. |
| Approach: | They propose a logic-complete reasoning framework, Aristotle, which integrates symbolic expressions and logical rules into the entire reasoning process. |
| Outcome: | The proposed framework outperforms state-of-the-art reasoning frameworks in accuracy and efficiency. |
Faithful Logical Reasoning via Symbolic Chain-of-Thought (2024.acl-long)
Copied to clipboard
| Challenge: | SymbCoT is a framework that integrates symbolic expressions and logic rules with CoT prompting. |
| Approach: | They propose a Symbolic Chain-of-Thought framework that integrates symbolic expressions and logic rules with CoT prompting. |
| Outcome: | The proposed framework improves on 5 standard datasets with symbolic expressions and rules . it shows that it is more faithful, flexible, and explainable than the current method . |