Hacker News new | past | comments | ask | show | jobs | submit
y1n0 | on: LLMs are making formal software verification feasible at a much larger scale
It seems like it’s a good fit. Proving equivalence is much easier than writing a spec without a golden reference.