LFSC for SMT Proofs: Work in Progress.

Aaron Stump Andrew Reynolds Cesare Tinelli Austin Laugesen Harley Eades III Corey Oliver Ruoyu Zhang

Published in: PxTP (2012)

Keyphrases

theorem proving
statistical machine translation
theorem prover
artificial intelligence
real world
decision making
decision trees
formal proof
equational theories