44 citations · 111 across the 15 of their papers we have counts for
1 paper · 1 filter
Thibault Gauthier
We present a method to estimate the provability of a mathematical formula. We adapt the tactical theorem prover TacticToe to factor in these estimations. Experiments over the HOL4…