Hacker News new | past | comments | ask | show | jobs | submit
giraffe_lady | on: Elixir v1.20: Now a gradually typed language
We're hoping to have a preprint ready at the end of the month, I'll send it to you then!
pramodbiligiri | parent | next
I'd like to see this paper too! Email in my profile.

Recently I came across this paper that explores the "Design by Contract" technique for LLMs: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=112...