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"

5 / 5 papers shown

Title
NeuroCodeBench: a plain C neural network benchmark for software verification Edoardo Manino R. Menezes F. Shmarov Lucas C. Cordeiro 28 3 0 07 Sep 2023
Bugs in Machine Learning-based Systems: A Faultload Benchmark Mohammad Mehdi Morovati Amin Nikanjam Foutse Khomh Zhen Ming Z. Jiang 59 21 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 105 19 0 14 Sep 2021
Taxonomy of Real Faults in Deep Learning Systems Nargiz Humbatova Gunel Jahangirova Gabriele Bavota Vincenzo Riccio Andrea Stocco Paolo Tonella 92 270 0 24 Oct 2019
TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing Augustus Odena Ian Goodfellow AAML 61 322 0 28 Jul 2018