LLMs as Compilers(resync-games.com)
28 points by kadhirvelm | 38 comments
28 points by kadhirvelm | 38 comments
206 points by evakhoury | 151 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.