Hacker News new | past | comments | ask | show | jobs | submit
sva_ | on: LLMs are making formal software verification feasible at a much larger scale
Have you tried... reading the article? Under the big headline that says "Limitations", in particular