Hacker News new | past | comments | ask | show | jobs | submit
y1n0 | on: LLMs are making formal software verification feasible at a much larger scale
I think you still run the risk of common-mode failure. It might be more robust to pick a different model altogether to do either the VM or the spec.