Automated Repair of AI Code with Large Language Models and Formal Verification

14 May 2024

Papers citing "Automated Repair of AI Code with Large Language Models and Formal Verification"

4 / 4 papers shown

Title
Frontier AI's Impact on the Cybersecurity Landscape Wenbo Guo Yujin Potter Tianneng Shi Zhun Wang Andy Zhang Dawn Song 36 1 0 07 Apr 2025
When LLMs Meet Cybersecurity: A Systematic Literature Review Jie Zhang Haoyu Bu Hui Wen Yu Chen Lun Li Hongsong Zhu 24 36 0 06 May 2024
Bugs in Machine Learning-based Systems: A Faultload Benchmark Mohammad Mehdi Morovati Amin Nikanjam Foutse Khomh Zhen Ming Z. Jiang 9 20 0 24 Jun 2022
Learning Density Distribution of Reachable States for Autonomous Systems Yue Meng Dawei Sun Zeng Qiu Md Tawhid Bin Waez Chuchu Fan 46 19 0 14 Sep 2021