Hacker News new | past | comments | ask | show | jobs | submit
braiamp | on: LLMs are making formal software verification feasible at a much larger scale
Yeah... usages of TLA+ within the realm of LLM is kinda newish, wouldn't you agree?