A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic

Joseph Cotnareanu, Didier Chetelat, Yingxue Zhang +1

Although Large Language Models (LLMs) have demonstrated impressive formal reasoning abilities, they often break down when problems require complex proof planning. One promising app…