Initial Experiments with Statistical Conjecturing over Large Formal Corpora.

Thibault Gauthier Cezary Kaliszyk Josef Urban

Published in: FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)

Keyphrases

statistical analysis
databases
artificial intelligence
data driven
statistical methods
data sets
data mining
information extraction
text mining
statistical models
formal model
statistical tests
hypothesis testing
statistical data