| The marabou framework for verification and analysis of deep neural networks G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ... Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 695 | 2019 |
| On Pearl’s hierarchy and the foundations of causal inference E Bareinboim, JD Correa, D Ibeling, T Icard Probabilistic and causal inference: the works of judea pearl, 507-556, 2022 | 328 | 2022 |
| Possible origins and implications of the shoulder in reactor neutrino spectra AC Hayes, JL Friar, GT Garvey, D Ibeling, G Jungman, T Kawano, ... Physical Review D 92 (3), 033015, 2015 | 133 | 2015 |
| The metallicity dependence of the minimum mass for core-collapse supernovae D Ibeling, A Heger The Astrophysical Journal Letters 765 (2), L43, 2013 | 67 | 2013 |
| Causal abstraction for faithful model interpretation A Geiger, C Potts, T Icard arXiv preprint arXiv:2301.04709, 2023 | 49 | 2023 |
| Probabilistic reasoning across the causal hierarchy D Ibeling, T Icard Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 10170 …, 2020 | 41 | 2020 |
| Is Causal Reasoning Harder than Probabilistic Reasoning? M Mossé, D Ibeling, T Icard The Review of Symbolic Logic, 1-26, 2021 | 15 | 2021 |
| On open-universe causal reasoning D Ibeling, T Icard Uncertainty in Artificial Intelligence, 1233-1243, 2020 | 14 | 2020 |
| Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions D Ibeling, T Icard arXiv preprint arXiv:2306.14351, 2023 | 12 | 2023 |
| A topological perspective on causal inference D Ibeling, T Icard Advances in Neural Information Processing Systems 34, 5608-5619, 2021 | 12 | 2021 |
| CVC4 at the SMT competition 2018 C Barrett, H Barbosa, M Brain, D Ibeling, T King, P Meng, A Niemetz, ... arXiv preprint arXiv:1806.08775, 2018 | 12 | 2018 |
| Probing the quantitative–qualitative divide in probabilistic reasoning D Ibeling, T Icard, K Mierzewski, M Mossé Annals of Pure and Applied Logic, 103339, 2023 | 11 | 2023 |
| On the conditional logic of simulation models D Ibeling, T Icard arXiv preprint arXiv:1805.02859, 2018 | 11 | 2018 |
| Touch gestures for navigation and interacting with content in a three-dimensional space S Gortler, J Dorsey, L McMillan, D Ibeling US Patent 10,529,145, 2020 | 10 | 2020 |
| Causal modeling with probabilistic simulation models D Ibeling arXiv preprint arXiv:1807.11139, 2018 | 4 | 2018 |
| On Probabilistic and Causal Reasoning with Summation Operators D Ibeling, TF Icard, M Mossé arXiv preprint arXiv:2405.03069, 2024 | 1 | 2024 |
| Test of models for neutral-and charged-current cross sections DH Ibeling Los Alamos National Lab.(LANL), Los Alamos, NM (United States), 2014 | | 2014 |
| Supernova Neutral Current Signal in 40Ar AC Hayes-Sterbenz, D Ibeling, JL Friar Los Alamos National Lab.(LANL), Los Alamos, NM (United States), 2014 | | 2014 |
| Minor Planet Observations [719 Etscorn Observatory] W Ryan, C Yeh, I Puri, K Agarwal, B Knudsen, R Wagner-Kaiser, ... Minor Planet Circulars 75623, 3, 2011 | | 2011 |
