Synthesizing Lemmas for Inductive Reasoning.

Adithya Murali Lucas Peña Christof Löding P. Madhusudan

Published in: CoRR (2020)

Keyphrases

inductive reasoning
theorem prover
data analysis
theorem proving
cognitive functions
expert systems
real world
bayesian networks
query language
formal model