Hacker News new | past | comments | ask | show | jobs | submit
js8 | on: LLMs are making formal software verification feasible at a much larger scale
Actually, bugs might surface during such restructuring. If the statement you're proving can be greatly simplified to something reasonable, if we omit this one weird special case, that indicates a bug in the specification.
randysalami | parent
Great advice! Thanks!