Login / Signup
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