@inproceedings{sutcliffe_empirical_2024,
  address = {Cham},
  title = {An {Empirical} {Assessment} of {Progress} in {Automated} {Theorem} {Proving}},
  isbn = {978-3-031-63498-7},
  abstract = {The TPTP World is a well established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems. This work uses data in the TPTP World to assess progress in ATP from 2015 to 2023.},
  booktitle = {Automated {Reasoning}},
  publisher = {Springer Nature Switzerland},
  author = {Sutcliffe, Geoff and Suttner, Christian and Kotthoff, Lars and Perrault, C. Raymond and Khalid, Zain},
  editor = {Benzmüller, Christoph and Heule, Marijn J.H. and Schmidt, Renate A.},
  year = {2024},
  pages = {53--74}
}