Hacker News new | past | comments | ask | show | jobs | submit
desterothx | on: LLMs are making formal software verification feasible at a much larger scale
Yeah, but thats a lower level of abstraction, thus using more tokens, and more importantly occupying a larger chunk of the biggest current limitation, the context