Login / Signup

Differentiable Logics for Neural Network Training and Verification.

Natalia SlusarzEkaterina KomendantskayaMatthew L. DaggittRobert J. Stewart
Published in: CoRR (2022)
Keyphrases
  • neural network training
  • training algorithm
  • neural network
  • modal logic
  • model checking
  • objective function
  • optimization method
  • decision making
  • similarity measure
  • optimization algorithm
  • particle swarm optimisation