# A theory of formal synthesis via inductive learning

> Research article (Acta Informatica, 2017) · cited 99× · AI/ML

**Wikidata**: [openalex:W258469679](https://www.wikidata.org/wiki/openalex:W258469679)  
**Source**: https://4ort.xyz/entity/a-theory-of-formal-synthesis-via-inductive-learning