Automated Theorem Proving, Fast and Slow

EasyChair Preprint no. 4433, version history

Version	Date	Pages	Version notes
1	October 20, 2020	13	—
2	January 25, 2021	13	updated results
3	January 25, 2021	13	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}}