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