Automated Theorem Proving via Interacting with Proof Assistants by Dynamic Strategies.

Guangshuai Mo Yan Xiong Wenchao Huang Lu Ma

Published in: BigCom (2020)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
dynamic environments
first order logic
artificial intelligence
orders of magnitude
intelligent agents
data sets
data structure
active learning
classical logic