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 2026, 1-7. https://doi.org/10.47852/bonviewJCLLT62029092.