Automated Theorem Proving, Fast and Slow

EasyChair Preprint 4433, version history

VersionDatePagesVersion 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}}