Shuvendu K. Lahiri. Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages. In Nina Narodytska, Philipp Rümmer, editors, Formal Methods in Computer-Aided Design, FMCAD 2024, Prague, Czech Republic, October 15-18, 2024. pages 142-147, IEEE, 2024. [doi]
Abstract is missing.