Towards certifiable AI in aviation: landscape, challenges, and opportunities

13 September 2024

Daniel Geißler

Mengxi Liu

Bo Zhou

Paul Lukowicz

ArXiv (abs)PDF HTML

Papers citing "Towards certifiable AI in aviation: landscape, challenges, and opportunities"

44 / 44 papers shown

Title
Towards Human-AI Deliberation: Design and Evaluation of LLM-Empowered Deliberative AI for AI-Assisted Decision-Making Shuai Ma Qiaoyi Chen Xinru Wang Chengbo Zheng Zhenhui Peng Ming Yin Xiaojuan Ma ELM 112 24 0 25 Mar 2024
UR2M: Uncertainty and Resource-Aware Event Detection on Microcontrollers Hong Jia Young D. Kwon Dong Ma Nhat Pham Lorena Qendro Tam N. Vu Cecilia Mascolo 54 2 0 14 Feb 2024
SymbolicAI: A framework for logic-based approaches combining generative models and solvers Marius-Constantin Dinu Claudiu Leoveanu-Condrei Markus Holzleitner Werner Zellinger Sepp Hochreiter 71 11 0 01 Feb 2024
The Power of Training: How Different Neural Network Setups Influence the Energy Demand Daniel Geissler Bo Zhou Mengxi Liu Sungho Suh P. Lukowicz 44 9 0 03 Jan 2024
Towards Cognitive AI Systems: a Survey and Prospective on Neuro-Symbolic AI Zishen Wan Che-Kai Liu Hanchen Yang Chaojian Li Haoran You Yonggan Fu Cheng Wan Tushar Krishna Yingyan Lin A. Raychowdhury AAML 90 21 0 02 Jan 2024
SurroCBM: Concept Bottleneck Surrogate Models for Generative Post-hoc Explanation Bo Pan Zhenke Liu Yifei Zhang Liang Zhao 79 2 0 11 Oct 2023
Sharpness-Aware Minimization and the Edge of Stability Philip M. Long Peter L. Bartlett AAML 67 10 0 21 Sep 2023
From Hope to Safety: Unlearning Biases of Deep Models via Gradient Penalization in Latent Space Maximilian Dreyer Frederik Pahde Christopher J. Anders Wojciech Samek Sebastian Lapuschkin AI4CE 60 11 0 18 Aug 2023
Bayesian Metric Learning for Uncertainty Quantification in Image Retrieval Frederik Warburg M. Miani Silas Brack Søren Hauberg UQCV BDL 30 7 0 02 Feb 2023
NeuralUQ: A comprehensive library for uncertainty quantification in neural differential equations and operators Zongren Zou Xuhui Meng Apostolos F. Psaros George Karniadakis AI4CE 92 39 0 25 Aug 2022
Transformer Neural Processes: Uncertainty-Aware Meta Learning Via Sequence Modeling Tung Nguyen Aditya Grover BDL UQCV 83 107 0 09 Jul 2022
Uncertainty Toolbox: an Open-Source Library for Assessing, Visualizing, and Improving Uncertainty Quantification Youngseog Chung I. Char Han Guo J. Schneider Willie Neiswanger 77 72 0 21 Sep 2021
Explaining in Style: Training a GAN to explain a classifier in StyleSpace Oran Lang Yossi Gandelsman Michal Yarom Yoav Wald G. Elidan ... William T. Freeman Phillip Isola Amir Globerson Michal Irani Inbar Mosseri GAN 115 154 0 27 Apr 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 114 202 0 11 Mar 2021
Fool Me Once: Robust Selective Segmentation via Out-of-Distribution Detection with Contrastive Learning David S. W. Williams Matthew Gadd D. Martini Paul Newman OODD 54 13 0 01 Mar 2021
Pruning and Quantization for Deep Neural Network Acceleration: A Survey Tailin Liang C. Glossner Lei Wang Shaobo Shi Xiaotong Zhang MQ 210 700 0 24 Jan 2021
Beyond Pinball Loss: Quantile Methods for Calibrated Uncertainty Quantification Youngseog Chung Willie Neiswanger I. Char J. Schneider UQCV 178 89 0 18 Nov 2020
A Review of Uncertainty Quantification in Deep Learning: Techniques, Applications and Challenges Moloud Abdar Farhad Pourpanah Sadiq Hussain Dana Rezazadegan Li Liu ... Xiaochun Cao Abbas Khosravi U. Acharya V. Makarenkov S. Nahavandi BDL UQCV 346 1,932 0 12 Nov 2020
AdaBelief Optimizer: Adapting Stepsizes by the Belief in Observed Gradients Juntang Zhuang Tommy M. Tang Yifan Ding S. Tatikonda Nicha Dvornek X. Papademetris James S. Duncan ODL 182 518 0 15 Oct 2020
Contrastive Representation Learning: A Framework and Review Phúc H. Lê Khắc Graham Healy Alan F. Smeaton SSL AI4TS 317 713 0 10 Oct 2020
HyperTune: Dynamic Hyperparameter Tuning For Efficient Distribution of DNN Training Over Heterogeneous Systems Ali Heydarigorji Siavash Rezaei Mahdi Torabzadehkashi Hossein Bobarshad V. Alves Pai H. Chou 71 14 0 16 Jul 2020
Self-Challenging Improves Cross-Domain Generalization Zeyi Huang Haohan Wang Eric Xing Dong Huang OOD 93 632 0 05 Jul 2020
Improving Graph Neural Network Expressivity via Subgraph Isomorphism Counting Giorgos Bouritsas Fabrizio Frasca Stefanos Zafeiriou M. Bronstein 127 436 0 16 Jun 2020
GNNGuard: Defending Graph Neural Networks against Adversarial Attacks Xiang Zhang Marinka Zitnik AAML 87 297 0 15 Jun 2020
Uncertainty-Aware Deep Classifiers using Generative Models Murat Sensoy Lance M. Kaplan Federico Cerutti Maryam Saleki UQCV OOD 127 75 0 07 Jun 2020
Trust in AutoML: Exploring Information Needs for Establishing Trust in Automated Machine Learning Systems Jaimie Drozdal Justin D. Weisz Dakuo Wang Gaurav Dass Bingsheng Yao Changruo Zhao Michael J. Muller Lin Ju Hui Su 62 125 0 17 Jan 2020
A Comprehensive Survey on Transfer Learning Fuzhen Zhuang Zhiyuan Qi Keyu Duan Dongbo Xi Yongchun Zhu Hengshu Zhu Hui Xiong Qing He 188 4,474 0 07 Nov 2019
Graph Transformer Networks Seongjun Yun Minbyul Jeong Raehyun Kim Jaewoo Kang Hyunwoo J. Kim 133 982 0 06 Nov 2019
CutMix: Regularization Strategy to Train Strong Classifiers with Localizable Features Sangdoo Yun Dongyoon Han Seong Joon Oh Sanghyuk Chun Junsuk Choe Y. Yoo OOD 624 4,809 0 13 May 2019
Graph Neural Networks: A Review of Methods and Applications Jie Zhou Ganqu Cui Shengding Hu Zhengyan Zhang Cheng Yang Zhiyuan Liu Lifeng Wang Changcheng Li Maosong Sun AI4CE GNN 1.1K 5,534 0 20 Dec 2018
YOLO-LITE: A Real-Time Object Detection Algorithm Optimized for Non-GPU Computers J. Pedoeem Rachel Huang ObjD 68 506 0 14 Nov 2018
DropBlock: A regularization method for convolutional networks Golnaz Ghiasi Nayeon Lee Quoc V. Le 118 914 0 30 Oct 2018
Explaining Machine Learning Models using Entropic Variable Projection François Bachoc Fabrice Gamboa Max Halford Jean-Michel Loubes Laurent Risser FAtt 50 5 0 18 Oct 2018
DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma Felix Juefei Xu Fuyuan Zhang Jiyuan Sun Minhui Xue ... Ting Su Li Li Yang Liu Jianjun Zhao Yadong Wang ELM 67 622 0 20 Mar 2018
NetGAN: Generating Graphs via Random Walks Aleksandar Bojchevski Oleksandr Shchur Daniel Zügner Stephan Günnemann GAN GNN 179 361 0 02 Mar 2018
Regularization for Deep Learning: A Taxonomy J. Kukačka Vladimir Golkov Daniel Cremers 85 336 0 29 Oct 2017
mixup: Beyond Empirical Risk Minimization Hongyi Zhang Moustapha Cissé Yann N. Dauphin David Lopez-Paz NoLa 301 9,811 0 25 Oct 2017
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars Yuchi Tian Kexin Pei Suman Jana Baishakhi Ray AAML 70 1,360 0 28 Aug 2017
Improved Regularization of Convolutional Neural Networks with Cutout Terrance Devries Graham W. Taylor 135 3,775 0 15 Aug 2017
DeepXplore: Automated Whitebox Testing of Deep Learning Systems Kexin Pei Yinzhi Cao Junfeng Yang Suman Jana AAML 107 1,371 0 18 May 2017
Confidence sets with expected sizes for Multiclass Classification Christophe Denis Mohamed Hebiri 67 29 0 31 Aug 2016
"Why Should I Trust You?": Explaining the Predictions of Any Classifier Marco Tulio Ribeiro Sameer Singh Carlos Guestrin FAtt FaML 1.2K 17,071 0 16 Feb 2016
You Only Look Once: Unified, Real-Time Object Detection Joseph Redmon S. Divvala Ross B. Girshick Ali Farhadi ObjD 724 37,033 0 08 Jun 2015
Microsoft COCO: Common Objects in Context Nayeon Lee Michael Maire Serge J. Belongie Lubomir Bourdev Ross B. Girshick James Hays Pietro Perona Deva Ramanan C. L. Zitnick Piotr Dollár ObjD 434 43,832 0 01 May 2014