| The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results S Bak, C Liu, T Johnson arXiv preprint arXiv:2109.00498, 2021 | 108 | 2021 |
| Generating Adversarial Examples with Graph Neural Networks F Jaeckle, MP Kumar Conference on Uncertainty in Artificial Intelligence, 2021 | 14 | 2021 |
| On recognising nearly single-crossing preferences F Jaeckle, D Peters, E Elkind Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 10 | 2018 |
| Neural Network Branch-and-Bound for Neural Network Verification F Jaeckle, J Lu, MP Kumar arXiv preprint arXiv:2107.12855, 2021 | 6 | 2021 |
| FastFill: Efficient Compatible Model Update F Jaeckle, F Faghri, A Farhadi, O Tuzel, H Pouransari International Conference on Learning Representations, 0 | 2* | |
| CD, or not CD, that is the question: a digital interobserver agreement study in coeliac disease J Denholm, BA Schreiber, F Jaeckle, MN Wicks, EW Benbow, TS Bracey, ... BMJ Open Gastroenterology 11 (1), e001252, 2024 | | 2024 |
| Rapid artefact removal and H&E-stained tissue segmentation BA Schreiber, J Denholm, F Jaeckle, MJ Arends, KM Branson, ... Scientific Reports 14 (1), 309, 2024 | | 2024 |
| Bang and the Artefacts are Gone! Rapid Artefact Removal and Tissue Segmentation in Haematoxylin and Eosin Stained Biopsies BA Schreiber, J Denholm, F Jaeckle, MJ Arends, KM Branson, ... arXiv preprint arXiv:2308.13304, 2023 | | 2023 |
| Attention for Adversarial Attacks: Learning from your Mistakes F Jaeckle, A Agadzhanov, J Lu, MP Kumar The AAAI-22 Workshop on Adversarial Machine Learning and Beyond, 2021 | | 2021 |
| Neural Lower Bounds for Verification F Jaeckle, MP Kumar RobustML Workshop@ICLR, 2021 | | 2021 |
| Neural Lower Bounds for Verification F Jaeckle, MP Kumar First IEEE Conference on Secure and Trustworthy Machine Learning, 0 | | |
