30 citations · 30 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024
Automated Repair of AI Code with Large Language Models and Formal Verification
Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro
The next generation of AI systems requires strong safety guarantees. This report looks at the software implementation of neural networks and related memory safety properties, inclu…
cs.SE2024
Generative transformations and patterns in LLM-native approaches for software verification and falsification
Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous +3
The emergence of prompting as the dominant paradigm for leveraging Large Language Models (LLMs) has led to a proliferation of LLM-native software, where application behavior arises…