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

71 points by kalaracey 2 years ago | 2 comments

Task-specific LLM evals that do and don't work(eugeneyan.com)

171 points by ZeljkoS 1 year ago | 41 comments

Experimenting with LLMs to Research, Reflect, and Plan(eugeneyan.com)

131 points by gk1 3 years ago | 14 comments

1ML for non-specialists: introduction(pithlessly.github.io)

30 points by birdculture 9 months ago | 10 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.

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

117 points by otoolep 9 months ago | 95 comments