Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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


Is that research publically available, and where ?


Not sure if this is what you mean, but 'inductive logic programming' and more generally 'program synthesis' are fairly active research areas.


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




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: