Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Using a Markov chain to generate readable nonsense with 20 lines of Python. Parent comment
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.
There are no comments on this comment yet.
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.