Subbarao emphasizes the importance of correctness verification in machine learning, distinguishing between tacit and explicit knowledge tasks. He argues that while tacit knowledge lacks formal specifications, explicit knowledge is crucial for trust, especially in critical applications like aviation. By exploring the potential of LLMs to self-criticize their solutions, he highlights the need for reliable verification methods in AI development.
