Danso, P. K., Hasan, M. S., Balasubramanian, N., & Chowdhury, O. (2026). Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation.
Style de citation Chicago (17e éd.)Danso, Priscilla Kyei, Mohammad Saqib Hasan, Niranjan Balasubramanian, et Omar Chowdhury. Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation. 2026.
Style de citation MLA (9e éd.)Danso, Priscilla Kyei, et al. Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.