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