23 citations · 23 across the 2 of their papers we have counts for
3 papers
Private and Reliable Neural Network Inference
Nikola Jovanović, Marc Fischer, Samuel Steffen +1
Reliable neural networks (NNs) provide important inference-time reliability guarantees such as fairness and robustness. Complementarily, privacy-preserving NN inference protects th…
Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound
Claudio Ferrari, Mark Niklas Muller, Nikola Jovanovic +1
State-of-the-art neural network verifiers are fundamentally based on one of two paradigms: either encoding the whole verification problem via tight multi-neuron convex relaxations…
Towards Sparse Hierarchical Graph Classifiers
Cătălina Cangea, Petar Veličković, Nikola Jovanović +2
Recent advances in representation learning on graphs, mainly leveraging graph convolutional networks, have brought a substantial improvement on many graph-based benchmark tasks. Wh…