SMT-Solving Induction Proofs of Inequalities.

Ali Kemal Uncu James H. Davenport Matthew England

Published in: CoRR (2023)

Keyphrases

sufficient conditions
theorem proving
machine learning
combinatorial optimization
theorem prover
rule induction
inductive learning
statistical machine translation
program synthesis
mathematical proofs