growing number problems formal logic mathematics computer science logic programming software hardware verification circuit design many others tptp sutcliffe suttner library problems updated regular basis also competition among automated theorem provers held regularly cade conference pelletier sutcliffe suttner problems competition selected tptp library ref name stanford encyclopedia '' http platostanfordedu entries reasoning automated automated reasoning '' stanford encyclopedia retrieved ref see also automated machine learning automl automated theorem proving reasoning system semantic reasoner program analysis computer science applications artificial
Formal science Computer science Artificial intelligence Automated reasoning