Emily Real

person
5 mentions 4 recordings first heard May 2025 last heard 19 Aug ↓3 this month

Researcher mentioned as expert on proof assistants

Trend

mentions per day · public audio 7d30d6M12M
No mentions in the last 30d.Widen the range to see when Emily Real was said.

Moments

newest first · ▶ plays the moment
Ira FlatowScience Friday · Creating 'world models' for robots + An AI math shakeup · 17:25 · 19 Aug
…doctor Emily Real, Professor of Mathematics at Johns Hopkins University in Baltimore, Maryland.…
· Open transcript →
Ira FlatowScience Friday · Creating 'world models' for robots + An AI math shakeup · 11:02 · 19 Aug
…Emily Real, Professor of Mathematics at Johns Hopkins University, who's joined us before to walk us through the AI math world, and she's back with us from Baltimore, Maryland.…
· Open transcript →
Sean CarrollSean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas · Mindscape Ask Me Anything, Sean Carroll | August 2026 · 1:31:48 · 3 Aug
…Emily Real, who we had on the podcast a while back,…
· Open transcript →
Curt JaimungalTheories of Everything with Curt Jaimungal · Curt Jaimungal: What Is Infinity, Actually? · 13:15 · 7 Apr
…Now, to get even more trippy, if this wasn't enough……
Curt JaimungalTheories of Everything with Curt Jaimungal · Curt Jaimungal: Explain Like I'm Five? Challenge Accepted. · 6:45 · May 2025
…To take an example that I'm familiar with, if you……
5 moments · sign in to read them all