# Model-guided synthesis of inductive lemmas for FOL with least fixpoints

> Research article (Proceedings of the ACM on Programming Languages, 2022) · cited 11× · AI/ML

**Wikidata**: [openalex:W4297415612](https://www.wikidata.org/wiki/openalex:W4297415612)  
**Source**: https://4ort.xyz/entity/model-guided-synthesis-of-inductive-lemmas-for-fol-with-least-fixpoints