An Empirical Assessment of Progress in Automated Theorem Proving. - Geoff Sutcliffe; Christian B. Suttner; Lars Kotthoff; C. Raymond Perrault; Zain Khalid (IJCAR (1), 2024)