Developing and Debugging Proof Strategies by Tinkering.

Yuhui Lin Pierre Le Bras Gudmund Grov

Published in: TACAS (2016)

Keyphrases

real time
neural network
knowledge base
image processing
learning environment
theorem proving
parallel programming
optimization strategies