2 papers
cs.SE2026
Evaluating Large Language Models for Time Series Anomaly Detection in Aerospace Software
Yang Liu, Yixing Luo, Xiaofeng Li +3
Time series anomaly detection (TSAD) is essential for ensuring the safety and reliability of aerospace software systems. Although large language models (LLMs) provide a promising t…
cs.SE2025
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Zhongyi Wang, Tengjie Lin, Mingshuai Chen +9
Fully automated verification of large-scale software and hardware systems is arguably the holy grail of formal methods. Large language models (LLMs) have recently demonstrated thei…