Automated Theorem Proving, Fast and Slow

EasyChair Preprint no. 4433, version history

VersionDatePagesVersion notes
1October 20, 202013
2January 25, 202113

updated results

3January 25, 202113

remove unnecessary section, improve diagrams

Keyphrases: asynchronous-policy, Connection tableaux, heuristic search, learned-guidance, Mizar, proof search

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:4433,
  author = {Michael Rawson and Giles Reger},
  title = {Automated Theorem Proving, Fast and Slow},
  howpublished = {EasyChair Preprint no. 4433},

  year = {EasyChair, 2021}}