StarZero All shows Try the podcast clipper →

autoformalization

also referred to as: auto formalization · auto-formalization

2 statements across 1 episodes · 0 bullish · 0 bearish · 1 people on the record · first statement Feb 26, 2026 by Corinna Hong · across every show →

Everything said about autoformalization, oldest first

Feb 26, 2026
Assertion Not checkable as stated
Translating formal Lean code into English is easier than auto-formalization
“There's also auto-informalization, which is kind of translate back, I mean, from Lean to English. That's easier than auto-formalization, because most of the machines' AI have seen a lot more English than Lean.”
Corinna Hong Feb 26, 2026 ▶ 15:55 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Feb 26, 2026
Assertion Not checkable as stated
Auto-formalization is harder than translating between two programming languages
“And auto formalization, which is the sort of capability of converting the natural language reasoning to say the formal language. And that's harder than translation because it's different than say translating between two programming languages. You're translatin…”
Corinna Hong Feb 26, 2026 ▶ 15:29 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 400 conversations 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