StarZero Try the podcast clipper →

Verify Proof

other on 1 show · 0 statements across 0 episodes

Latent Space 1

Mentions by year, every show

tap a year for its mentions
0011112026episodesmentions
0112026episodes it came up in
000.50.5112026episodesmentions per episode

Latent Space 1

2026 1 mention in 1 episode

every mention on every show, scene by scene, with the transcript →

1 statements about Verify Proof, every show

LATENT SPACE Disclosure
Hong: Axiom's AXLE toolkit contains 14 Lean tools including VerifyProof
“And Excel is currently, I think, 14 like, such tools starting from Verify Proof, which is the sort of, To make sure that there's not, nothing weird you know, going on, like no, no sort of cheating by lean code.”
Carina Hong Jun 3, 2026 ▶ 1:07:59 Scaling Past Informal AI - Carina Hong, Axiom Math

← every entity, every show

Made with StarZero

Turn any episode into a week of clips.

This entire site, thousands of episodes across every show transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.

Try the podcast clipper Learn more