2025
RULEBREAKERS: Challenging LLMs at the Crossroads between Formal Logic and Human-like Reasoning
ICML 2025poster
Formal logic enables computers to reason in natural language by representing sentences in symbolic forms and applying rules to derive conclusions. However, in what our study characterizes as "rulebreaker" scenarios, this method can lead to conclusions that are typically not inferred or accepted by h…