"Initial Experiments with Statistical Conjecturing over Large Formal Corpora."

Thibault Gauthier, Cezary Kaliszyk, Josef Urban (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics