Provably guarantee correctness of (some of) your LLM outputs | Hacker News Reader