[C172] Brunello A., Geatti L., , Mignani M., Montanari A., and Saccomanno N., "Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy", Proceedings of the 40th AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, New York, USA, January 2026.
[C171] Brunello A., Geatti L., , Montanari A., and Saccomanno N., "Automata-less Monitoring via Trace-Checking,", Proceedings of the 40th AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, New York, USA, January 2026.