1 paper · 1 filter
Karel Chvalovský, Martin Suda, Josef Urban
A neural clause-selection guidance approach in the Vampire theorem prover was recently shown to substantially improve the success rate of the prover's default strategy on the TPTP…