Comment on Dafny is a verification-aware programming languageparentComments−littlestymaar2yTrue, but having to fix all the stupid mistakes they make is kind of ruining the point of using an LLM in the first place.
Comments
True, but having to fix all the stupid mistakes they make is kind of ruining the point of using an LLM in the first place.