Florian Jaeckle

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Polynomial Approximation

Branch And Bound Procedure

Top Venues

Publications

Florian Jaeckle, M. Pawan Kumar
Neural Lower Bounds for Verification. SaTML (2023)
Florian Jaeckle, Fartash Faghri, Ali Farhadi, Oncel Tuzel, Hadi Pouransari
FastFill: Efficient Compatible Model Update. CoRR (2023)
Florian Jaeckle, Fartash Faghri, Ali Farhadi, Oncel Tuzel, Hadi Pouransari
FastFill: Efficient Compatible Model Update. ICLR (2023)
Florian Jaeckle, M. Pawan Kumar
Generating adversarial examples with graph neural networks. UAI (2021)
Florian Jaeckle, M. Pawan Kumar
Generating Adversarial Examples with Graph Neural Networks. CoRR (2021)
Florian Jaeckle, Jingyue Lu, M. Pawan Kumar
Neural Network Branch-and-Bound for Neural Network Verification. CoRR (2021)
Florian Jaeckle, Dominik Peters, Edith Elkind
On Recognising Nearly Single-Crossing Preferences. AAAI (2018)