3 ms·Up next: A LLM that can tell me if a program stopsby 29athrowaway 3y agoUp next: A LLM that can tell me if a program stops