Automated Theorem Proving, Fast and Slow

EasyChair Preprint 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: Connection tableaux, Mizar, asynchronous-policy, heuristic search, learned-guidance, 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 4433},
  year      = {EasyChair, 2021}}