mlsanityData to 13 Oct 2026

Monte Carlo Tableau Proof Search

arXiv 1611.05990 ↗First posted 18 Nov 2016cs.LO cs.AI cs.LGcited by 1

Not on the map. Why?

Abstract (arXiv)

We study Monte Carlo Tree Search to guide proof search in tableau calculi. This includes proposing a number of proof-state evaluation heuristics, some of which are learnt from previous proofs. We present an implementation based on the leanCoP prover. The system is trained and evaluated on a large suite of related problems coming from the Mizar proof assistant, showing that it is capable to find new and different proofs.

Key facts. Cited by 1 paper in the map (data through 13 Oct 2026). First posted on arXiv 18 Nov 2016.

Builds on

No reference list yet.

Built on by

Cited by year

Citing papers per year: 2021: 1.

1 paper.

  1. 2021Vampire With a Brain Is a Good ITP Hammercited by 10