Syntactic and semantic control of LLMs via sequential Monte Carlo [pdf] | Hacker News Reader