Comment by kragen
Isn't that amazing‽ I wonder if you could guide its search with an LLM...
Isn't that amazing‽ I wonder if you could guide its search with an LLM...
This paper appeared at PLDI '25: https://arxiv.org/abs/2504.09246
Discussed on HN at the time: https://news.ycombinator.com/item?id=43978357
Not sure if this is what you mean, but 'inductive logic programming' and more generally 'program synthesis' are fairly active research areas.
There is some research work I’m aware of that’s trying to make type-safe LLM generation a thing.