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

Lahiri, Shuvendu K.

doi:10.34727/2024/isbn.978-3-85448-065-5_19

Record link:

http://hdl.handle.net/20.500.12708/200786
https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_19

Title:

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

Citation:

Lahiri, S. K. (2024). Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages. In N. Narodytska & P. Rümmer (Eds.), Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 (pp. 142–147). TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_19

reposiTUm DOI:

10.34727/2024/isbn.978-3-85448-065-5_19

CatalogPlus:

AC17313118

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Lahiri, Shuvendu K.

Editors:

Narodytska, Nina
Rümmer, Philipp