TY - GEN T1 - Rulebreakers Challenge: Revealing a Blind Spot in Large Language Models' Reasoning with Formal Logic PY - 2024/10/21 AU - Chan J AU - Gaizauskas R AU - Zhao Z ED - Y2 - 2025/03/01 ER -