Monte Carlo Connection Prover
Monte Carlo Connection Prover
Michael Färber,C. Kaliszyk,J. Urban
2016 · DBLP: journals/corr/FarberKU16
arXiv.org · 5 Citations
TLDR
This work studies MCTS methods in the context of the connection calculus and implements them on top of the leanCoP prover to show that it is capable of finding new and different proofs in theorem proving.