Publications

Google Scholar

Title	Author(s)	Appearing in
Probabilistic and Causal Reasoning with a Summation Operator	Ibeling, Icard, Mossé	In preparation
Causal Abstraction for Faithful Model Interpretation	geiger, ibeling, icard, potts, et al.	In preparation (very early draft here)
comparing causal frameworks: potential outcomes, structural models, graphs, and abstractions	ibeling, icard	NeurIPS 2023
Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning	Ibeling, Icard, Mierzewski, Mossé	Annals of Pure and Applied Logic
Is Causal Reasoning Harder than Probabilistic Reasoning?	Mossé, Ibeling, Icard	The Review of Symbolic Logic
A Topological Perspective on Causal Inference	Ibeling, Icard	NeurIPS 2021
On Pearl’s Hierarchy and the Foundations of Causal Inference	Bareinboim, Correa, Ibeling, Icard	Probabilistic and Causal Inference: The Works of Judea Pearl, ACM Books
Touch gestures for navigation and interacting with content in a three-dimensional space	Gortler, Dorsey, McMillan, Ibeling	US Patent 10,529,145
Probabilistic Reasoning across the Causal Hierarchy	Ibeling, Icard	AAAI 2020
The Marabou Framework for Verification and Analysis of Deep Neural Networks	Katz, Huang, Ibeling, Julian, Lazarus, Lim, Shah, Thakoor, Wu, Zeljić, Dill, Kochenderfer, Barrett	CAV 2019
On Open-Universe Causal Reasoning	Ibeling, Icard	UAI 2019
Causal Modeling with Probabilistic Simulation Models	Ibeling	ILP 2018, 5th PLP workshop
CVC4 at the SMT Competition 2018	Barrett, Barbosa, Brain, Ibeling, King, Meng, Niemetz, Nötzli, Preiner, Reynolds, Tinelli	CoRR
On the Conditional Logic of Simulation Models	Ibeling, Icard	IJCAI 2018
The Possible Origin and Implications of the Shoulder in Reactor Neutrino Spectra	Hayes, Friar, Garvey, Ibeling, Jungman, Kawano, Mills	Physical Review D
The Metallicity Dependence of the Minimum Mass for Core-Collapse Supernovae	Ibeling, Heger	Astrophysical Journal Letters
Minor Planet Observations [719 Etscorn Observatory]	Ryan, Yeh, Agarwal, Knudsen, Wagner-Kaiser, Chang, Bauer, Doan, Atkins, Brent, Eliason, Wu, Ibeling	Minor Planet Circular