1 paper · 1 filter
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…