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