A study of continuous vector representations for theorem proving.

Stanislaw J. Purgal Julian Parsert Cezary Kaliszyk

Published in: J. Log. Comput. (2021)

Keyphrases

theorem proving
first order logic
automated reasoning
data mining
theorem prover
automatic programming
automated deduction
term rewriting
decision procedures