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

EPISODE · Dec 1, 2024 · 45 MIN

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

from Boston Computation Club · host Max von Hippel

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.

What this episode covers

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.

NOW PLAYING

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

0:00 45:07

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

The Reds are safe, and Forest sack another Head Coach - Carly Davies departs! YATESY'S ESPRESSO BAR, 12th May 2026

May 12, 2026 ·36m

TOP CLUB CHART #566 — 9 мая 2026

May 12, 2026 ·99m

"IT HAD TO BE YOU": Nottingham Forest 1-1 Newcastle United - The 1865 Match Report, May 2026

May 11, 2026 ·28m

FOREST vs NEWCASTLE PREVIEW: 1865 Podcast Extra, 9th May 2026

May 9, 2026 ·8m

THE EUROPEAN DREAM IS OVER: Aston Villa 4-0 Nottingham Forest (4-1 on agg): The 1865 European Match Report

May 8, 2026 ·42m

Patriots in the headline: Mike Vrabel and Stefon Diggs

May 8, 2026 ·68m

Similar Podcasts

LIGHTS, CAMERA, SMILE! Creatives Club Media Lights, Camera, Smile, is a podcast for anyone with a dream to share something with the world, out of the overflow of themselves - be it their mind, their heart, their personalities, and much more. Each of us are alive in this moment in time, with an innate ability to have ideas and create various things to benefit both ourselves and the people around us for a reason, and here, you will find the encouragement, the inspiration, and the motivation to do just that. Hosted by Cicily, founder of Creatives Club, she dives into various topics surrounding creativity and business. Exploring entrepreneurship for creatives in a corporate reality, sharing tips and tricks in a media centered company, answering questions regarding what a creative actually is are just a few of the things discussed on this podcast. Be encouraged to create for yourself as Cicily gets vulnerable by pivoting the camera to herself for the first time.To submit questions for Cicily to answer, or have her address certain t Piramidi Club The Bitcoin Butcher La Migliore Pizza di Firenze NORMIE.FM antinormienormieclub Anti Normie Normie Club is a podcast from Alex (@egginburger), Sinjihn (@sinjihn), and Shuo (@shuojj) We explore various aspects of culture and dive head first into the deep pool of modern existence. Unidisc Radio : Disco Funk & Electro Boogie Classics - The Roots Of Dance Music Unidisc Music Disco Funk & Electro Boogie Classics - The Roots Of Dance Music - Unidisc Music has been expanding its catalog since 1977, and now includes some of the most influential dance records of all time. Tune in and discover pioneers who laid the foundation for techno, house, and electronic club music. Subscribe now for just the right mix of classic hits and rare deep cuts from the legendary Prelude, Solar, Mirage, Megatone, Prism, Emergency, WMOT, De-Lite, Phase II, Groove Merchant, H&L, Avco, Becket, Amherst and many more. All music is available to download on iTunes, Beatport, Traxsource and Unidisc.com. Dig deeper and find more favourites by streaming Unidisc on Spotify and Apple Music.

Frequently Asked Questions

How long is this episode of Boston Computation Club?

This episode is 45 minutes long.

When was this Boston Computation Club episode published?

This episode was published on December 1, 2024.

What is this episode about?

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...

Can I download this Boston Computation Club episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.
URL copied to clipboard!