3 ms·
Why is 2) relevant? Natural language understanding is way harder and a totally unrelated problem.
by kmicklas 10y ago
Why is 2) relevant? Natural language understanding is way harder and a totally unrelated problem.
- sanxiyn 10y ago2 is relevant because there exists vast amount of mathematical proofs already written in natural languages. It's about supporting legacy code.