Login / Signup
Your Proof Fails? Testing Helps to Find the Reason.
Guillaume Petiot
Nikolai Kosmatov
Bernard Botella
Alain Giorgetti
Jacques Julliand
Published in:
CoRR (2015)
Keyphrases
</>
theorem prover
data sets
neural network
real world
artificial intelligence
search engine
image processing
similarity measure
information technology
theorem proving
linear logic