From Syntactic Proofs to Combinatorial Proofs.

Matteo Acclavio Lutz Straßburger

Published in: IJCAR (2018)

Keyphrases

theorem proving
mathematical proofs
natural language
formal proof
decision procedures
natural deduction
data mining
probabilistic model
theorem prover
equational theories
real time
real world
pattern recognition
higher level
automated theorem provers