Next Steps in LLM-Supported Java Verification

Samuel Teuber, Bernhard Beckert

Recent work has shown that Large Language Models (LLMs) are not only a suitable tool for code generation but also capable of generating annotation-based code specifications. Scalin…