2 ms·
I have not been able to figure out how that would help in the context of this discussion. As I see it, what’s very interesting here is that an LLM is able to d
by mannykannot 3y ago
I have not been able to figure out how that would help in the context of this discussion. As I see it, what’s very interesting here is that an LLM is able to do this.
- riku_iki 3y agoI think the point is that LLM is not right tool for deep reasoning, and isabelle and others are much better such tools, even community trying to apply LLM in this area following current wave of hype.