Papers by Zacchary Sadeddine
Verifying the Steps of Deductive Reasoning Chains (2025.findings-acl)
Copied to clipboard
| Challenge: | Large Language Models have been shown to improve the reasoning capabilities of the models. |
| Approach: | They propose to automate verification of individual reasoning steps in a logical deductive Chain-of-Thought. |
| Outcome: | The proposed method can detect unsound reasoning steps fairly well, but under-performs symbolic methods. |
A Survey of Meaning Representations – From Theory to Practical Utility (2024.naacl-long)
Copied to clipboard
| Challenge: | Symbolic meaning representations of natural language text have been studied since at least the 1960s . with the availability of large annotated corpora, the field has recently seen several new developments . |
| Approach: | They propose a framework for expressing meaning in natural language text using annotated corpora and a set of tools for machine learning. |
| Outcome: | The frameworks are based on a set of theoretical and practical problems and their applications. |