1. Observation Debt in Agentic Systems: A Formal Framework for Hidden Transition Risk
   2026/07/18 by N Suzuki · 1 voice
   Computer Science · #Software System Performance and Reliability #Advanced Software Engineering Methodologies #Software Reliability and Analysis Research
2. CORTEX: Collaborative LLM Agents for High-Stakes Alert Triage
   2025/09/30 by Bowen Wei, Wei, Bowen, Yuan Shen Tay +9 · 3 citations
   Computer Science · #Computation and Language (cs.CL) #Context-Aware Activity Recognition Systems #FOS: Computer and information sciences #Software Reliability and Analysis Research #Software System Performance and Reliability
3. WAREX: Web Agent Reliability Evaluation on Existing Benchmarks
   2025/09/28 by Sami Kara, Fazle Faisal, Kara, Su +3 · 1 citation
   Computer Science · #Network Security and Intrusion Detection #Software Reliability and Analysis Research #Web Application Security Vulnerabilities
4. RollPacker: Mitigating Long-Tail Rollouts for Fast, Synchronous RL Post-Training
   2025/09/25 by Wei Gao, Gao, Wei, Yuheng Zhao +24 · 7 citations
   Computer Science · Engineering · #Distributed #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel #Real-Time Systems Scheduling #Real-time simulation and control systems #Software Reliability and Analysis Research #and Cluster Computing (cs.DC)
5. PurpCode: Reasoning for Safer Code Generation
   2025/07/25 by Jiawei Liu, Nirav Diwan, Liu, Jiawei +23 · 5 citations
   Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Software Reliability and Analysis Research
6. LLMxCPG: Context-Aware Vulnerability Detection Through Code Property Graph-Guided Large Language Models
   2025/07/22 by Ahmed Lekssays, Hamza Mouhcine, Lekssays, Ahmed +7 · 2 citations
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering Research #Software Reliability and Analysis Research #Web Application Security Vulnerabilities
7. Measuring What Matters: A Framework for Evaluating Safety Risks in Real-World LLM Applications
   2025/07/13 by Goh, Jia Yi, Khoo, Shaun, Nyx Iskandar +7 · 2 citations
   Engineering · Decision Sciences · Computer Science · #Safety Systems Engineering in Autonomy #Risk and Safety Analysis #Software Reliability and Analysis Research
8. Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks
   2025/06/06 by Yuxuan Jiang, Ziming Zhou, Jiang, Yuxuan +8 · 3 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Software Reliability and Analysis Research #Intelligent Tutoring Systems and Adaptive Learning
9. CodeSense: a Real-World Benchmark and Dataset for Code Semantic Reasoning
   2025/05/31 by Monoshi Kumar Roy, Simin Chen, Roy, Monoshi Kumar +11 · 2 citations
   Computer Science · #Software Engineering Research #Software Reliability and Analysis Research #Software Engineering Techniques and Practices
10. SV-TrustEval-C: Evaluating Structure and Semantic Reasoning in Large Language Models for Source Code Vulnerability Analysis
    2025/05/27 by Yansong Li, Li, Yansong, Paula Branco +10 · 5 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Web Application Security Vulnerabilities
11. Safety Alignment via Constrained Knowledge Unlearning
    2025/05/24 by Zesheng Shi, Shi, Zesheng, Yucheng Zhou +3 · 3 citations
    Computer Science · Decision Sciences · Engineering · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Fault Detection and Control Systems #Risk and Safety Analysis #Software Reliability and Analysis Research
12. The Unreasonable Effectiveness of Entropy Minimization in LLM Reasoning
    2025/05/21 by Shivam Agarwal, Zimin Zhang, Z. Zhang +8 · 1 voice · 52 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multi-Agent Systems and Negotiation #Natural Language Processing Techniques #Software Reliability and Analysis Research #cs.AI #cs.LG
13. Security Degradation in Iterative AI Code Generation -- A Systematic Analysis of the Paradox
    2025/05/19 by Shivani Shukla, Himanshu Joshi, Shukla, Shivani +3 · 4 citations
    Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Reliability and Analysis Research
14. VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
    2025/05/16 by Patrick Yubeaton, Andre Nakkab, Yubeaton, Patrick +11 · 5 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
15. SVA-ICL: Improving LLM-based Software Vulnerability Assessment via In-Context Learning and Information Fusion
    2025/05/15 by Chaoyang Gao, Gao, Chaoyang, Xiang Chen +3 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Web Application Security Vulnerabilities
16. Uncertainty-aware Latent Safety Filters for Avoiding Out-of-Distribution Failures
    2025/05/01 by Junwon Seo, Seo, Junwon, Kensuke Nakamura +3 · 9 citations
    Computer Science · Decision Sciences · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Risk and Safety Analysis #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
17. Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning with Testbench Feedback
    2025/04/22 by Ning Wang, Bingkun Yao, Wang, Ning +11 · 5 citations
    Computer Science · #Software Engineering Research #Machine Learning and Data Classification #Software Reliability and Analysis Research
18. Towards Automated Formal Verification of Backend Systems with LLMs
    2025/04/13 by Kang Xu, Xu, Kangping, Luo, Yifan +4 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
19. SAFER: Advancing Safety Alignment via Efficient Ex-Ante Reasoning
    2025/04/03 by Kehua Feng, Keyan Ding, Feng, Kehua +12 · 2 citations
    Engineering · Decision Sciences · Computer Science · #Safety Systems Engineering in Autonomy #Risk and Safety Analysis #Software Reliability and Analysis Research
20. More is Less: The Pitfalls of Multi-Model Synthetic Preference Data in DPO Safety Alignment
    2025/04/03 by Yifan Wang, Runjin Chen, Wang, Yifan +17 · 2 citations
    Computer Science · Decision Sciences · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Risk and Safety Analysis #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
21. RobuNFR: Evaluating the Robustness of Large Language Models on Non-Functional Requirements Aware Code Generation
    2025/03/28 by Feng Lin, Dong Jae Kim, Lin, Feng +7 · 3 citations
    Computer Science · #Software Engineering Research #Software Engineering Techniques and Practices #Software Reliability and Analysis Research
22. Evaluating LLaMA 3.2 for Software Vulnerability Detection
    2025/03/10 by José Gonçalves, Miguel Silva, Gonçalves, José +13 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software System Performance and Reliability #Web Application Security Vulnerabilities
23. Promptware Engineering: Software Engineering for Prompt-Enabled Systems
    2025/03/04 by Zhenpeng Chen, Chong Wang, Chen, Zhenpeng +10 · 7 citations
    Computer Science · #Software Testing and Debugging Techniques #Software Reliability and Analysis Research #Software System Performance and Reliability
24. Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
    2025/03/03 by Patrick Halder, Halder, Patrick, Hannes Homburger +7 · 2 citations
    Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Robotic Path Planning Algorithms #Robotics (cs.RO) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
25. On Categorizing Open Source Software Security Vulnerability Reporting Mechanisms on GitHub
    2025/02/11 by Sushawapak Kancharoendee, Kancharoendee, Sushawapak, Thanat Phichitphanphong +13 · 3 citations
    Computer Science · #FOS: Computer and information sciences #Information and Cyber Security #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research
26. Combining Large Language Models with Static Analyzers for Code Review Generation
    2025/02/10 by Imen Jaoua, Jaoua, Imen, Oussama Ben Sghaier +3 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Topic Modeling
27. RacerF: Lightweight Static Data Race Detection for C Code
    2025/02/07 by Tomáš Dacík, Dacík, Tomáš, Tomáš Vojnar +1 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
28. EnseSmells: Deep ensemble and programming language models for automated code smells detection
    2025/02/07 by Anh Ho, Anh M. T. Bui, Ho, Anh +7 · 1 citation
    Computer Science · #Software Engineering Research #Software Reliability and Analysis Research #Advanced Malware Detection Techniques
29. STAIR: Improving Safety Alignment with Introspective Reasoning
    2025/02/04 by Yichi Zhang, Zhang, Yichi, Siyuan Zhang +14 · 27 citations
    Computer Science · Decision Sciences · Engineering · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Risk and Safety Analysis #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
30. Position: Editing Large Language Models Poses Serious Safety Risks
    2025/02/05 by Paul E. Youssef, Zhixue Zhao, Youssef, Paul +7 · 3 citations
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Reliability and Analysis Research #Topic Modeling

more