Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

3 October 2023

Papers citing "Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?"

5 / 5 papers shown

Title
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification Kyle Thompson Nuno Saavedra Pedro Carrott Kevin Fisher Alex Sanchez-Stern Yuriy Brun J. Ferreira Sorin Lerner E. First LRM 100 1 0 18 Dec 2024
Automated Proof Generation for Rust Code via Self-Evolution Tianyu Chen Shuai Lu Shan Lu Y. Gong Chenyuan Yang ... Peng Cheng Fan Yang Shuvendu Lahiri Tao Xie Lidong Zhou 41 7 0 21 Oct 2024
LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations Shashank Kirtania Priyanshu Gupta Arjun Radhakirshna LRM 35 4 0 22 Jun 2024
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation Jiawei Liu Chun Xia Yuyao Wang Lingming Zhang ELM ALM 183 799 0 02 May 2023
Training language models to follow instructions with human feedback Long Ouyang Jeff Wu Xu Jiang Diogo Almeida Carroll L. Wainwright ... Amanda Askell Peter Welinder Paul Christiano Jan Leike Ryan J. Lowe OSLM ALM 313 11,953 0 04 Mar 2022