TY  - RPRT
TI  - Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
AU  - Madeline Endres
AU  - Sarah Fakhoury
AU  - Saikat Chakraborty
AU  - Shuvendu K. Lahiri
PY  - 2024
UR  - https://arxiv.org/abs/2310.01831
ID  - 2310.01831
ER  -