Sound and Complete Verification of Polynomial Networks.

Elías Abad-Rocamora Mehmet Fatih Sahin Fanghui Liu Grigorios Chrysos Volkan Cevher

Published in: NeurIPS (2022)

Keyphrases

network structure
social networks
databases
vapnik chervonenkis dimension
network model
complex networks
machine learning
network size
e learning
decision trees
multi agent
np complete
model checking
artificial intelligence
real world
face verification
real time