Vimaleswar A, Arpit Sharma 0002. Towards Interpretable Formal Software Requirements: Empirical Assessment of Open-Source LLMs for LTL to NL Translation. In Mike Mannion, Tomi Männistö, Leszek A. Maciaszek, editors, Proceedings of the 21st International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2026, Benidorm, Spain, May 22-24, 2026, Volume 1. pages 76-88, SCITEPRESS, 2026. [doi]
Abstract is missing.