Electronics and computer science
Towards trustworthy and responsible LLMs through verification and validation
This PhD project aims to delve into the intricacies of deep learning-based systems, focusing on developing comprehensive verification techniques to ascertain their behaviour and output. The project is motivated by the increasing reliance on learning-enabled systems in critical decision-making processes and the need to ensure that these models are not only accurate but also reliable and trustworthy.