STEFFES, Bianca; SASDELLI, Diogo. Catch the Platypus! Negated Conditionals as a Challenge for Machine Translation from Natural Language into Logical Formalisms Using Large Language Models. Journal of Computational Law and Legal Technology, [S. l.], p. 1–7, 2026. DOI: 10.47852/bonviewJCLLT62029092. Disponível em: https://ojs.bonviewpress.com/index.php/JCLLT/article/view/9092. Acesso em: 6 apr. 2026.