sugare

4 ms·

1. 1.▲
   by sugare 2y ago

   Yeah, thinking about these follow-ups next
2. 2.▲
   Show HN: LLMs following grammar for general-purpose PLs(github.com)

   11 points by sugare 2y ago|3 comments
3. 3.▲
   by sugare 2y ago

   SynCode is efficient (<10% overhead) and provably sound in generating syntactical LLM output for any LR(1) grammar. Currently supports built-in grammars for Python, Go, Java, JSON, SQL, first-order logic, and support for many grammars is