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 [Internet]. 2026 Mar. 31 [cited 2026 Apr. 6];:1-7. Available from: https://ojs.bonviewpress.com/index.php/JCLLT/article/view/9092