Login / Signup

Formalizing Natural Language Intent into Program Specifications via Large Language Models.

Madeline EndresSarah FakhourySaikat ChakrabortyShuvendu K. Lahiri
Published in: CoRR (2023)
Keyphrases