Login / Signup

Sharper and Simpler Nonlinear Interpolants for Program Verification.

Takamasa OkudonoYuki NishidaKensuke KojimaKohei SuenagaKengo KidoIchiro Hasuo
Published in: APLAS (2017)
Keyphrases
  • interpolation method
  • machine learning
  • complementarity problems
  • neural network
  • website
  • nonlinear dynamics
  • highly nonlinear