Rulebreakers Challenge: Revealing a Blind Spot in Large Language Models' Reasoning with Formal Logic. - Jason Chan; Robert Gaizauskas; Zhixue Zhao (CoRR, 2024)