Login / Signup
The Imandra Automated Reasoning System (system description).
Grant Olney Passmore
Simon Cruanes
Denis Ignatovich
Dave Aitken
Matt Bray
Elijah Kagan
Kostya Kanishev
Ewen Maclean
Nicola Mometto
Published in:
CoRR (2020)
Keyphrases
</>
automated reasoning
reasoning systems
knowledge representation
theorem proving
theorem prover
reasoning tasks
decision procedures
probabilistic reasoning
automated verification
high level
search algorithm
knowledge representation and reasoning
machine learning
neural network
reinforcement learning
higher order