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]
@inproceedings{AS26,
title = {Towards Interpretable Formal Software Requirements: Empirical Assessment of Open-Source LLMs for LTL to NL Translation},
author = {Vimaleswar A and Arpit Sharma 0002},
year = {2026},
doi = {10.5220/0014814600004015},
url = {https://doi.org/10.5220/0014814600004015},
researchr = {https://researchr.org/publication/AS26},
cites = {0},
citedby = {0},
pages = {76-88},
booktitle = {Proceedings of the 21st International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2026, Benidorm, Spain, May 22-24, 2026, Volume 1},
editor = {Mike Mannion and Tomi Männistö and Leszek A. Maciaszek},
publisher = {SCITEPRESS},
isbn = {978-989-758-828-0},
}