arxiv-2511.00125-infer-dafny-assertions.md

LLM inference of missing helper assertions