Search Results for author:
Found 3 papers, 1 papers with code
Automated Repair of AI Code with Large Language Models and Formal Verification
Then, we verify the memory safety of the mutated neural network implementations with ESBMC, a state-of-the-art software verifier.
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches
Prompting has become one of the main approaches to leverage emergent capabilities of Large Language Models [Brown et al. NeurIPS 2020, Wei et al. TMLR 2022, Wei et al. NeurIPS 2022].
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Initially, we employ Bounded Model Checking (BMC) to identify vulnerabilities and extract counterexamples.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
