Follow
Duligur Ibeling
Duligur Ibeling
Unknown affiliation
Verified email at stanford.edu - Homepage
Title
Cited by
Cited by
Year
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
5442019
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
2262022
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
1322015
The metallicity dependence of the minimum mass for core-collapse supernovae
D Ibeling, A Heger
The Astrophysical Journal Letters 765 (2), L43, 2013
642013
Probabilistic reasoning across the causal hierarchy
D Ibeling, T Icard
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 10170 …, 2020
292020
Causal abstraction for faithful model interpretation
A Geiger, C Potts, T Icard
arXiv preprint arXiv:2301.04709, 2023
232023
On open-universe causal reasoning
D Ibeling, T Icard
Uncertainty in Artificial Intelligence, 1233-1243, 2020
132020
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
132018
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
92020
On the conditional logic of simulation models
D Ibeling, T Icard
arXiv preprint arXiv:1805.02859, 2018
92018
A topological perspective on causal inference
D Ibeling, T Icard
Advances in Neural Information Processing Systems 34, 5608-5619, 2021
62021
Is Causal Reasoning Harder than Probabilistic Reasoning?
M Mossé, D Ibeling, T Icard
The Review of Symbolic Logic, 1-26, 2021
62021
Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions
D Ibeling, T Icard
arXiv preprint arXiv:2306.14351, 2023
42023
Probing the quantitative–qualitative divide in probabilistic reasoning
D Ibeling, T Icard, K Mierzewski, M Mossé
Annals of Pure and Applied Logic, 103339, 2023
32023
Causal modeling with probabilistic simulation models
D Ibeling
arXiv preprint arXiv:1807.11139, 2018
32018
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
The system can't perform the operation now. Try again later.
Articles 1–18