Evaluating LLM-driven User-Intent Formalization for Verification-Aware
Languages

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages

14 June 2024

Shuvendu K. Lahiri

Papers citing "Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages"

3 / 3 papers shown

Title
Automated Proof Generation for Rust Code via Self-Evolution Tianyu Chen Shuai Lu Shan Lu Yeyun Gong Chenyuan Yang ... Peng Cheng Fan Yang Shuvendu Lahiri Tao Xie Lidong Zhou 88 10 0 21 Oct 2024
Program Synthesis with Large Language Models Jacob Austin Augustus Odena Maxwell Nye Maarten Bosma Henryk Michalewski ... Ellen Jiang Carrie J. Cai Michael Terry Quoc V. Le Charles Sutton ELM AIMat ReCod ALM 171 1,925 0 16 Aug 2021
Evaluating Large Language Models Trained on Code Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Pondé ... Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever Wojciech Zaremba ELM ALM 203 5,454 0 07 Jul 2021