Formal Language
topic on 1 show · 1 statements across 1 episodes
1 statements about Formal Language, every show
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…”