A Study of Continuous Vector Representationsfor Theorem Proving.

Stanislaw J. Purgal Julian Parsert Cezary Kaliszyk

Published in: CoRR (2021)

Keyphrases

theorem proving
first order logic
theorem prover
automated reasoning
proof planning
inference rules
expert systems
automated deduction
logical inference