3 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.CV2023
FastFill: Efficient Compatible Model Update
Florian Jaeckle, Fartash Faghri, Ali Farhadi +2
In many retrieval systems the original high dimensional data (e.g., images) is mapped to a lower dimensional feature through a learned embedding model. The task of retrieving the m…
cs.LG2021★ 3 cited
Neural Network Branch-and-Bound for Neural Network Verification
Florian Jaeckle, Jingyue Lu, M. Pawan Kumar
Many available formal verification methods have been shown to be instances of a unified Branch-and-Bound (BaB) formulation. We propose a novel machine learning framework that can b…
cs.LG2021★ 3 cited
Generating Adversarial Examples with Graph Neural Networks
Florian Jaeckle, M. Pawan Kumar
Recent years have witnessed the deployment of adversarial attacks to evaluate the robustness of Neural Networks. Past work in this field has relied on traditional optimization algo…