# Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning

> Research article (Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023) · cited 11× · AI/ML

**Wikidata**: [openalex:W4384155522](https://www.wikidata.org/wiki/openalex:W4384155522)  
**Source**: https://4ort.xyz/entity/loop-invariant-inference-through-smt-solving-enhanced-reinforcement-learning