{"podcast":{"title":"Boston Computation Club","slug":"boston-computation-club-4031660","podcast_index_feed_id":4031660,"rss_url":"https://anchor.fm/s/5eee01ac/podcast/rss","website_url":"https://podcasters.spotify.com/pod/show/bostoncc","image_url":"https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/15826563/15826563-1623263635731-99a8ec66007e4.jpg","author":"Max von Hippel","episode_count":89,"summary":"The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.","last_synced_at":"2026-09-08T12:21:35.234206+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660"},"episode":{"title":"11/30/24: \tLB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers with Navid Hashemi","slug":"11-30-24-lb4tl-a-smooth-semantics-for-temporal-logic-to-train-neural-feedback-controllers-with-navid-hashemi","published_at":"2024-12-01T01:35:49+00:00","page_url":"https://stenobird.com/podcast/boston-computation-club-4031660/11-30-24-lb4tl-a-smooth-semantics-for-temporal-logic-to-train-neural-feedback-controllers-with-navid-hashemi","show_page_url":"https://stenobird.com/podcast/boston-computation-club-4031660","url":"https://podcasters.spotify.com/pod/show/bostoncc/episodes/113024--LB4TL-A-Smooth-Semantics-for-Temporal-Logic-to-Train-Neural-Feedback-Controllers-with-Navid-Hashemi-e2rn7fs","audio_url":"https://anchor.fm/s/5eee01ac/podcast/play/95181756/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2024-11-1%2F091424e3-5061-02d9-d38d-7a85b2e25b39.m4a","summary":"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.","meta_description":"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 Inte…","key_points":[],"chapters":[],"topics":[],"duration_seconds":2707,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/11-30-24-lb4tl-a-smooth-semantics-for-temporal-logic-to-train-neural-feedback-controllers-with-navid-hashemi/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/boston-computation-club-4031660/11-30-24-lb4tl-a-smooth-semantics-for-temporal-logic-to-train-neural-feedback-controllers-with-navid-hashemi.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}