Login / Signup
Differentiable Logics for Neural Network Training and Verification.
Natalia Slusarz
Ekaterina Komendantskaya
Matthew L. Daggitt
Robert J. Stewart
Published in:
NSV/FoMLAS@CAV (2022)
Keyphrases
</>
neural network training
neural network
training algorithm
model checking
particle swarm optimisation
optimization method
modal logic
pairwise
back propagation
objective function
simulated annealing
metadata
semi supervised