## Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops5 articles•51 pages•Published: March 11, 2020 ## Papers
## Keyphrasesautomated reasoning, automated theorem proving ^{2}, Bayesian optimisation, computer algebra, first-order theorem proving^{2}, Heuristic Configuration, large theory problems, Multiplier circuits, Natural Language Processing, Ontologies, polynomial reasoning, premise selection^{2}, proof certificates, SAT, semantic mappings, sine, SMT, SUMO, Sumo Inference Engine (SInE), theory instantiation, Vampire^{2} |