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 85 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 154 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 189 5,454 0 07 Jul 2021

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.