Learning-assisted theorem proving with millions of lemmas.

J Symb Comput · 2015 · PMC4599631 · PMID 26525678

Europe PMC DOI

hedged sentence

—

closest p

—

boldest claim

The sentences

quite significantno p-value reported

A very conservative estimate is again 5% (44.2%/42%), however a much more realistic is probably 10%, because the effect of learning from ATP proofs is quite significant.

also in 5,695 other papers

Quoted from the open-access full text in Europe PMC under the licence the publisher applied. The sentence is reproduced exactly as published; the emphasis is ours.