Publications & Projects

🧠 Robustness of Neurosymbolic Reasoners on First-Order Logic Problems

🌟 Best paper at the Annual Workshop of the Australasian Language Technology Association
Paper link

In this paper we explore whether neurosymbolic reasoners are more robust to counterfactual pertubations when compared to pure LLMs such as naive and chain of thought prompting. Read Blog → TBD