From tests to proofs.

Ashutosh Gupta Rupak Majumdar Andrey Rybalchenko

Published in: Int. J. Softw. Tools Technol. Transf. (2013)

Keyphrases

theorem proving
database
artificial intelligence
theorem prover
neural network
computer vision
metadata
website
first order logic
natural deduction
mathematical proofs