automated reasoning, automated theorem proving, machine learning, multiple proofs, premise selection.
