RULEBREAKERS: Challenging LLMs at the Crossroads between Formal Logic and Human-like Reasoning
ICML, 2025
Jason Chan, Robert Gaizauskas, Zhixue Zhao
Posts by Collection
portfolio
publications
Position: Logical Soundness is not a Reliable Criterion for Neurosymbolic Fact-Checking with LLMs
ICLR Workshop on Logical Reasoning of Large Language Models, 2026
Jason Chan, Robert Gaizauskas, Zhixue Zhao
Explanation Generation for Contradiction Reconciliation with LLMs
Preprint, 2026
Jason Chan, Zhixue Zhao, Robert Gaizauskas