Hacker News new | past | comments | ask | show | jobs | submit
nicce | on: LLMs are making formal software verification feasible at a much larger scale
I believe that they chose assembly in order to diff against real projects and then see if those real projects have bugs.