Ibeling, Duligur
- Causal Abstraction: A Theoretical Foundation for Mechanistic Interpretability
2023/01/11 by Atticus Geiger, Geiger, Atticus, Ibeling, Duligur +9 · 34 citations
Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences
- Probabilistic Reasoning across the Causal Hierarchy
2020/01/09 by Ibeling, Duligur, Icard, Thomas · 3 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- A Topological Perspective on Causal Inference
2021/07/18 by Duligur Ibeling, Thomas Icard, Ibeling, Duligur +1 · 2 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Bioinformatics and Genomic Networks #FOS: Computer and information sciences #Machine Learning (cs.LG) #Methodology (stat.ME)
- On Open-Universe Causal Reasoning
2019/07/04 by Ibeling, Duligur, Icard, Thomas · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Is Causal Reasoning Harder than Probabilistic Reasoning?
2021/11/27 by Mossé, Milan, Ibeling, Duligur, Icard, Thomas · 1 citation
#Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions
2023/06/25 by Duligur Ibeling, Ibeling, Duligur, Thomas Icard +1 · 1 citation
Arts and Humanities · Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Methodology (stat.ME) #Philosophy and History of Science
- CVC4 at the SMT Competition 2018
2018/06/20 by Clark Barrett, Barrett, Clark, Haniel Barbosa +19 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques