automated theorem proving, first-order logic, machine learning, Parameters Learning, proving strategy, strategy invention.