Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
portfolio
publications
RULEBREAKERS: Challenging LLMs at the Crossroads between Formal Logic and Human-like Reasoning
ICML, 2025
Jason Chan, Robert Gaizauskas, Zhixue Zhao
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