ECE 157C: AI AGENTS: SEMI-IND

University of California, Santa Barbara

Covers theories and practices of verification/test for checking hardware co rrectness and trustworthiness of large language models. A connection betwee n the two is drawn. Students learn the principles of verification and test and how to apply them in both contexts.