Saddek Bensalem

1. A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation
   2023/05/19 by Xiaowei Huang, Huang, Xiaowei, Wenjie Ruan +31 · 14 citations
   Computer Science · Medicine · #Adversarial Robustness in Machine Learning #Software Engineering Research #Artificial Intelligence in Healthcare and Education
2. Safeguarding Large Language Models: A Survey
   2024/06/03 by Yi Dong, Dong, Yi, Ronghui Mu +21 · 19 citations
   Computer Science · #Privacy-Preserving Technologies in Data
3. Synthesizing Invariants By Solving Solvable Loops
   2016/11/23 by Steven de Oliveira, de Oliveira, Steven, Saddek Bensalem +3 · 2 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Model-Driven Software Engineering Techniques
4. What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems
   2023/07/20 by Saddek Bensalem, Bensalem, Saddek, Chih‐Hong Cheng +9 · 1 citation
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering