auto-informalization

1 statements across 1 episodes · 0 bullish · 0 bearish · 1 people on the record · first statement Jun 3, 2026 by Carina Hong · across every show →

Everything said about auto-informalization, oldest first

Jun 3, 2026
Insight
Hong: Auto-informalizing Lean code into natural language is much easier than auto-formalizing
“Auto-informalization is a lot easier than auto-formalization minus the problem of no grounding, right?”
Carina Hong Jun 3, 2026 ▶ 39:28 Scaling Past Informal AI - Carina Hong, Axiom Math
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 200 episodes 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.