LLMs are good at playing you(lcamtuf.substack.com)

117 points by zdw 3 years ago | 56 comments

Use Prolog to improve LLM's reasoning(shchegrikovich.substack.com)

343 points by shchegrikovich 2 years ago | 122 comments

Substack post arguing that having LLMs generate Prolog code can improve their reasoning, given the limits of autoregressive transformer generation.

Can large language models reason?(arnaldur.be)

4 points by Hugsun 2 years ago | 0 comments

Task-free intelligence testing of LLMs(marble.onl)

59 points by amarble 9 months ago | 17 comments

Talking to LLMs has improved my thinking(philipotoole.com)

117 points by otoolep 9 months ago | 95 comments

TLA+ in Isabelle/HOL(davecturner.github.io)

71 points by kalaracey 2 years ago | 2 comments