Hacker News new | past | comments | ask | show | jobs | submit
mattr03 | on: LLMs are making formal software verification feasible at a much larger scale
How do you gain confidence that your theorem actually applies to your code?
sestep | parent
My Rocq setup directly reads my actual code. And I fuzz my semantic models against the real machine.
loading story #50204358