Login / Signup
The CADE ATP System Competition - CASC.
Geoff Sutcliffe
Published in:
AI Mag. (2016)
Keyphrases
</>
theorem prover
automated theorem proving
machine learning
decision trees
reinforcement learning
learning environment
competitive market
international competition