Sign in

SMT-Solving Induction Proofs of Inequalities.

Ali Kemal UncuJames H. DavenportMatthew 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