Zhiyuan Hu, Wei Ma, Qian Wang 0002, Lingxiao Jiang, Dongsheng Li 0001. Temporal Requirement Formalization Using Large Language Models. In IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2026, Limassol, Cyprus, March 17-20, 2026. pages 842-853, IEEE, 2026. [doi]
Abstract is missing.