ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

DARPA Keynote: Neurons, Symbols, and Semantics: Challenges and Opportunities in Verification of NSAI

Time: Sunday, 3.11

Room: Room 2

Authors: Alvaro Velasquez

Abstract: