# Ranking LLM-Generated Loop Invariants for Program Verification

> Research article (Findings of the Association for Computational Linguistics: EMNLP 2023, 2023) · cited 27× · AI/ML

**Wikidata**: [openalex:W4389520453](https://www.wikidata.org/wiki/openalex:W4389520453)  
**Source**: https://4ort.xyz/entity/ranking-llm-generated-loop-invariants-for-program-verification