1 paper
Joseph Cotnareanu, Chiara Roverato, Han Zhou +3
Recent efforts to improve the reasoning abilities of Large Language Models (LLMs) have focused on integrating formal logic solvers within neurosymbolic frameworks. A key challenge…