Comment by ashton314

There is some research work I’m aware of that’s trying to make type-safe LLM generation a thing.