Florian Jäckle

According to our database, Florian Jäckle authored at least 6 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Neural Lower Bounds for Verification.

Florian Jaeckle, M. Pawan Kumar

Proceedings of the 2023 IEEE Conference on Secure and Trustworthy Machine Learning, 2023

FastFill: Efficient Compatible Model Update.

Florian Jaeckle, Fartash Faghri, Ali Farhadi, Oncel Tuzel, Hadi Pouransari

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2021

Neural Network Branch-and-Bound for Neural Network Verification.

Florian Jaeckle, Jingyue Lu, M. Pawan Kumar

CoRR, 2021

Generating adversarial examples with graph neural networks.

Florian Jaeckle, M. Pawan Kumar

Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

2019

Risk Mitigation Capability of Flexibility Performance Contracts for demand response in electricity Systems.

Florian Jäckle, Michael Schoepf, Jannick Töppel, Felix Wagon

Proceedings of the 27th European Conference on Information Systems, 2019

2018

On Recognising Nearly Single-Crossing Preferences.

Florian Jaeckle, Dominik Peters, Edith Elkind

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018