Formalizing Natural Language Intent into Program Specifications via Large Language Models

Open in new window