ACL2 Proofs of Nonlinear Inequalities with Imandra.

Grant O. Passmore

Published in: CoRR (2023)

Keyphrases

natural language learning
sufficient conditions
theorem prover
formal proof
data sets
np hard
highly nonlinear
complementarity problems