# Initial Experiments with Statistical Conjecturing over Large Formal Corpora.

> Research article (Conference on Information and Knowledge Management, 2016) · cited 20× · AI/ML

**Wikidata**: [openalex:W2584124986](https://www.wikidata.org/wiki/openalex:W2584124986)  
**Source**: https://4ort.xyz/entity/initial-experiments-with-statistical-conjecturing-over-large-formal-corpora