I'm Not Consulting an LLM(lr0.org)
42 points by birdculture | 33 comments
42 points by birdculture | 33 comments
343 points by shchegrikovich | 122 comments
Substack post arguing that having LLMs generate Prolog code can improve their reasoning, given the limits of autoregressive transformer generation.