ECE 272C: AI AGENTS: SEMI-IND

University of California, Santa Barbara

Cover theories and practices of verification/test for checking hardware cor rectness and trustworthiness of large language models. A connection between the two is drawn. Students learn the principles of verification and test a nd how to apply them in both contexts.