Steffes B, Sasdelli D. Catch the Platypus! Negated Conditionals as a Challenge for Machine Translation from Natural Language into Logical Formalisms Using Large Language Models. JCLLT. Published online March 31, 2026:1-7. doi:10.47852/bonviewJCLLT62029092