Towards Bit-Width-Independent Proofs in SMT Solvers.

Aina Niemetz Mathias Preiner Andrew Reynolds Yoni Zohar Clark W. Barrett Cesare Tinelli

Published in: CADE (2019)

Keyphrases

modulo theories
theorem proving
statistical machine translation
neural network
machine learning
database
data sets
theorem prover