ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "11/30/24: LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers with Navid Hashemi"
Episode Synopsis
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 episodes of the podcast Boston Computation Club
08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng
15/08/2025
08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang
02/08/2025
In God we trust