Hacker News new | past | comments | ask | show | jobs | submit
sestep | on: LLMs are making formal software verification feasible at a much larger scale
Yeah. I've been considering asking my boss about open-sourcing it but I'm probably gonna flesh it out a lot more first.