2 papers
cs.SE2025
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…
cs.SE2025
Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
Juan Manuel Baldonado, Flavia Bonomo-Braberman, VÃctor Adrián Braberman
Ensuring the reliability and verifiability of large language model (LLM)-enabled systems remains a significant challenge in software engineering. We propose a probabilistic framewo…