3 ms·
And the logic salad problem will not be solved by LLMs because there is nothing in their construction that makes them capable of understanding logic.
by tempodox 3y ago
And the logic salad problem will not be solved by LLMs because there is nothing in their construction that makes them capable of understanding logic.
- deleted 3y ago[deleted]
- moon_moon 3y ago[dead]
- brookst 3y agoCan you elaborate? I would argue that logic has even stronger token prediction characteristics than language. As a total handwave, I would expect an LLM trained on formal logic and a huge corpus of proofs to produce pretty strong logic output.