1. Teaching automated theorem proving by
example: PyRes 1.2 - (system description);Schulz;Automated reasoning - 10th international
joint conference, IJCAR 2020, paris, france, july 1-4, 2020,
proceedings, part II,2020
2. OpenAI gym;Brockman;CoRR,2016
3. The TPTP Problem Library and Associated
Infrastructure. From CNF to TH0, TPTP v6.4.0;Sutcliffe;Journal of Automated
Reasoning,2017
4. Faster, higher, stronger: E
2.3;Schulz;Automated deduction - CADE 27 - 27th
international conference on automated deduction, natal, brazil, august
27-30, 2019, proceedings,2019
5. First-order theorem proving and
vampire;Kovács;Computer aided verification - 25th
international conference, CAV 2013, saint petersburg, russia, july
13-19, 2013. proceedings,2013