Seminar

Casual Mechanistic Interpretability for Trustworthy Soar Cognitive Architectures

Presented by Khan Mohammad

Automation Impacts on Pilots' Cognition in Urban Air Mobility Flight

Presented by Maureen Namukasa, Ph.D.

Formal Verification of Avionics Neural Network

Presented by Cong Liu

Self-Supervised Bootstrapping of Aciton-Predictive Embodied Reasoning