# Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?

> Research article (Proceedings of the ACM on software engineering., 2024) · cited 27× · AI/ML

**Wikidata**: [openalex:W4400582518](https://www.wikidata.org/wiki/openalex:W4400582518)  
**Source**: https://4ort.xyz/entity/can-large-language-models-transform-natural-language-intent-into-formal-method-postconditions