VERDI 2025

Speaker

András Gergely Deé-Lukács

Budapest University of Technology and Economics, Hungary

Talks at this conference:
 16:00 Dependability Assurance with Symbolic Reasoning in LLM-enabled Systems

 Overview