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"

2 / 2 papers shown

Title
Assured Automatic Programming via Large Language Models Martin Mirchev Andreea Costea Abhishek Kr Singh Abhik Roychoudhury 27 1 0 24 Oct 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 44 7 0 21 Oct 2024