In this work we propose and imple- ment methods for generating conjectures by using statistical analogies extracted from large formal libraries, and provide ...

Initial experiments with statistical conjecturing over large formal corpora. In: KOHLHASE, A., et al., eds. CEUR Workshop Proceedings. Intelligent Computer ...

Conference Proceedings. Initial experiments with statistical conjecturing over large formal corpora. T Gauthier, C Kaliszyk, J Urban.

Initial Experiments with Statistical Conjecturing over Large Formal Corpora. T. Gauthier, C. Kaliszyk, and J. Urban. FM4M/MathUI/ThEdu/DP/WIP@CIKM, ...

A straightforward application of this idea is to learn such representations over a large formal library, in our case we use the Mizar [2] Mathematical Library ( ...

Initial Experiments with Statistical Conjecturing over Large Formal Corpora. T Gauthier, C Kaliszyk, J Urban. FM4M/MathUI/ThEdu/DP/WIP@ CIKM, 219-228, 2016.

We describe several datasets and first experiments with creating conjectures by neural methods. The datasets are based on the Mizar Mathematical Library ...

Initial Experiments with Statistical Conjecturing over Large Formal Corpora. T Gauthier, C Kaliszyk, J Urban. FM4M/MathUI/ThEdu/DP/WIP@ CIKM, 219-228, 2016.

Initial experiments with statistical conjecturing over large formal corpora. In CICM'16 WiP Proceedings, pages 219–228, 2016. Thibault Gauthier, Cezary ...