Boston Computation Club

11/30/24: LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers with Navid Hashemi


Listen Later

Navid Hashemi recently defended his PhD at USC and is about to begin a post-doc at Vanderbilt.  His research focuses on the intersection of Artificial Intelligence and Temporal Logics, with applications in Formal Verification of Learning Enabled Systems and Neurosymbolic Reinforcement Learning.  Today Navid joined us for a really exciting presentation about his work on metrizable logics for reinforcement learning, and a technique for verification thereof based on the over-approximation of reachable sets using ReLU.

...more
View all episodesView all episodes
Download on the App Store

Boston Computation ClubBy Max von Hippel


More shows like Boston Computation Club

View all
ABC News Daily by ABC

ABC News Daily

127 Listeners