Lahiri, S. K. (2024). Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages.
Citazione stile Chigago Style (17a edizione)Lahiri, Shuvendu K. Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages. 2024.
Citatione MLA (9a ed.)Lahiri, Shuvendu K. Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.