3 papers
cs.AI2026
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…
cs.CL2025
InnerThoughts: Disentangling Representations and Predictions in Large Language Models
Didier Chételat, Joseph Cotnareanu, Rylee Thompson +2
Large language models (LLMs) contain substantial factual knowledge which is commonly elicited by multiple-choice question-answering prompts. Internally, such models process the pro…
cs.LG2024
HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation
Joseph Cotnareanu, Zhanguang Zhang, Hui-Ling Zhen +2
Efficiently determining the satisfiability of a boolean equation -- known as the SAT problem for brevity -- is crucial in various industrial problems. Recently, the advent of deep…