Sign in
Boldly Going Where No Prover Has Gone Before.
Giles Reger
Published in:
ARCADE@CADE (2019)
Keyphrases
</>
theorem proving
theorem prover
automated theorem proving
supervised learning
probabilistic model