Duligur Ibeling

21 papers A* 4A 1Journal 13Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Causal Abstraction: A Theoretical Foundation for Mechanistic Interpretability.
J. Mach. Learn. Res.
Atticus Geiger, Duligur Ibeling, Amir Zur, Maheep Chaudhary, Sonakshi Chauhan, Jing Huang, Aryaman Arora, Zhengxuan Wu, Noah D. Goodman, Christopher Potts, Thomas Icard
2024 J jnl
Is Causal Reasoning Harder than Probabilistic Reasoning?
Rev. Symb. Log.
Milan Mossé, Duligur Ibeling, Thomas Icard
2024 J jnl
On Probabilistic and Causal Reasoning with Summation Operators.
CoRR
Duligur Ibeling, Thomas F. Icard III, Milan Mossé
2024 J jnl
Probing the quantitative-qualitative divide in probabilistic reasoning.
Ann. Pure Appl. Log.
Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski, Milan Mossé
2023 A* conf
Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions.
NeurIPS
Duligur Ibeling, Thomas Icard
2023 J jnl
Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions.
CoRR
Duligur Ibeling, Thomas Icard
2023 J jnl
Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning.
CoRR
Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski, Milan Mossé
2022 — ch.
On Pearl's Hierarchy and the Foundations of Causal Inference.
Probabilistic and Causal Inference
Elias Bareinboim, Juan D. Correa, Duligur Ibeling, Thomas Icard
2021 A* conf
A Topological Perspective on Causal Inference.
NeurIPS
Duligur Ibeling, Thomas Icard
2021 J jnl
A Topological Perspective on Causal Inference.
CoRR
Duligur Ibeling, Thomas Icard
2021 J jnl
Is Causal Reasoning Harder than Probabilistic Reasoning?
CoRR
Milan Mossé, Duligur Ibeling, Thomas Icard
2020 A* conf
Probabilistic Reasoning Across the Causal Hierarchy.
AAAI
Duligur Ibeling, Thomas Icard
2020 J jnl
Probabilistic Reasoning across the Causal Hierarchy.
CoRR
Duligur Ibeling, Thomas Icard
2019 A conf
On Open-Universe Causal Reasoning.
UAI
Duligur Ibeling, Thomas Icard
2019 J jnl
On Open-Universe Causal Reasoning.
CoRR
Duligur Ibeling, Thomas Icard
2019 — conf
The Marabou Framework for Verification and Analysis of Deep Neural Networks.
CAV (1)
Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett
2018 J jnl
CVC4 at the SMT Competition 2018.
CoRR
Clark W. Barrett, Haniel Barbosa, Martin Brain, Duligur Ibeling, Tim King, Paul Meng, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Cesare Tinelli
2018 — conf
Causal Modeling with Probabilistic Simulation Models.
PLP@ILP
Duligur Ibeling
2018 J jnl
Causal Modeling with Probabilistic Simulation Models.
CoRR
Duligur Ibeling
2018 A* conf
On the Conditional Logic of Simulation Models.
IJCAI
Duligur Ibeling, Thomas Icard
2018 J jnl
On the Conditional Logic of Simulation Models.
CoRR
Duligur Ibeling, Thomas Icard