Thomas Icard

According to our database, Thomas Icard authored at least 48 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Is Causal Reasoning Harder than Probabilistic Reasoning?

Milan Mossé, Duligur Ibeling, Thomas Icard

Rev. Symb. Log., 2024

On Probabilistic and Causal Reasoning with Summation Operators.

Duligur Ibeling, Thomas F. Icard III, Milan Mossé

CoRR, 2024

A Reply to Makelov et al. (2023)'s "Interpretability Illusion" Arguments.

Zhengxuan Wu, Atticus Geiger, Jing Huang, Aryaman Arora, Thomas Icard, Christopher Potts, Noah D. Goodman

CoRR, 2024

Probing the quantitative-qualitative divide in probabilistic reasoning.

Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski, Milan Mossé

Ann. Pure Appl. Log., 2024

Finding Alignments Between Interpretable Causal Variables and Distributed Neural Representations.

Atticus Geiger, Zhengxuan Wu, Christopher Potts, Thomas Icard, Noah D. Goodman

Proceedings of the Causal Learning and Reasoning, 2024

2023

Interleaving Logic and Counting.

Johan van Benthem, Thomas Icard

Bull. Symb. Log., December, 2023

A Simple Logic of Concepts.

Thomas F. Icard III, Lawrence S. Moss

J. Philos. Log., June, 2023

Holistic Evaluation of Language Models.

Percy Liang, Rishi Bommasani, Tony Lee, Dimitris Tsipras, Dilara Soylu, Michihiro Yasunaga, Yian Zhang, Deepak Narayanan, Yuhuai Wu, Ananya Kumar, Benjamin Newman, Binhang Yuan, Bobby Yan, Ce Zhang, Christian Cosgrove, Christopher D. Manning, Christopher Ré, Diana Acosta-Navas, Drew A. Hudson, Eric Zelikman, Esin Durmus, Faisal Ladhak, Frieda Rong, Hongyu Ren, Huaxiu Yao, Jue Wang, Keshav Santhanam, Laurel J. Orr, Lucia Zheng, Mert Yüksekgönül, Mirac Suzgun, Nathan Kim, Neel Guha, Niladri S. Chatterji, Omar Khattab, Peter Henderson, Qian Huang, Ryan Chi, Sang Michael Xie, Shibani Santurkar, Surya Ganguli, Tatsunori Hashimoto, Thomas Icard, Tianyi Zhang, Vishrav Chaudhary, William Wang, Xuechen Li, Yifan Mai, Yuhui Zhang, Yuta Koreeda

Trans. Mach. Learn. Res., 2023

Causal Abstraction for Faithful Model Interpretation.

Atticus Geiger, Christopher Potts, Thomas Icard

CoRR, 2023

Interpretability at Scale: Identifying Causal Mechanisms in Alpaca.

Zhengxuan Wu, Atticus Geiger, Thomas Icard, Christopher Potts, Noah D. Goodman

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Comparing Causal Frameworks: Potential Outcomes, Structural Models, Graphs, and Abstractions.

Duligur Ibeling, Thomas Icard

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Show and tell: Learning causal structures from observations and explanations.

Andrew Nam, Christopher Hughes, Thomas Icard, Tobias Gerstenberg

Proceedings of the 45th Annual Meeting of the Cognitive Science Society, 2023

A Semantics for Causing, Enabling, and Preventing Verbs Using Structural Causal Models.

Angela Cao, Atticus Geiger, Elisa Kreiss, Thomas Icard, Tobias Gerstenberg

Proceedings of the 45th Annual Meeting of the Cognitive Science Society, 2023

Causal Abstraction with Soft Interventions.

Riccardo Massidda, Atticus Geiger, Thomas Icard, Davide Bacciu

Proceedings of the Conference on Causal Learning and Reasoning, 2023

2022

A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting.

Lawrence S. Moss, Thomas F. Icard III

CoRR, 2022

Causal Distillation for Language Models.

Zhengxuan Wu, Atticus Geiger, Joshua Rozner, Elisa Kreiss, Hanson Lu, Thomas Icard, Christopher Potts, Noah D. Goodman

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2022

Inducing Causal Structure for Interpretable Neural Networks.

Atticus Geiger, Zhengxuan Wu, Hanson Lu, Josh Rozner, Elisa Kreiss, Thomas Icard, Noah D. Goodman, Christopher Potts

Proceedings of the International Conference on Machine Learning, 2022

On Pearl's Hierarchy and the Foundations of Causal Inference.

Elias Bareinboim, Juan D. Correa, Duligur Ibeling, Thomas Icard

Proceedings of the Probabilistic and Causal Inference: The Works of Judea Pearl, 2022

2021

Logics of imprecise comparative probability.

Yifeng Ding, Wesley H. Holliday, Thomas F. Icard III

Int. J. Approx. Reason., 2021

On the Opportunities and Risks of Foundation Models.

Rishi Bommasani, Drew A. Hudson, Ehsan Adeli, Russ B. Altman, Simran Arora, Sydney von Arx, Michael S. Bernstein, Jeannette Bohg, Antoine Bosselut, Emma Brunskill, Erik Brynjolfsson, Shyamal Buch, Dallas Card, Rodrigo Castellon, Niladri S. Chatterji, Annie S. Chen, Kathleen Creel, Jared Quincy Davis, Dorottya Demszky, Chris Donahue, Moussa Doumbouya, Esin Durmus, Stefano Ermon, John Etchemendy, Kawin Ethayarajh, Li Fei-Fei, Chelsea Finn, Trevor Gale, Lauren E. Gillespie, Karan Goel, Noah D. Goodman, Shelby Grossman, Neel Guha, Tatsunori Hashimoto, Peter Henderson, John Hewitt, Daniel E. Ho, Jenny Hong, Kyle Hsu, Jing Huang, Thomas Icard, Saahil Jain, Dan Jurafsky, Pratyusha Kalluri, Siddharth Karamcheti, Geoff Keeling, Fereshte Khani, Omar Khattab, Pang Wei Koh, Mark S. Krass, Ranjay Krishna, Rohith Kuditipudi, et al.

CoRR, 2021

A Topological Perspective on Causal Inference.

Duligur Ibeling, Thomas Icard

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Causal Abstractions of Neural Networks.

Atticus Geiger, Hanson Lu, Thomas Icard, Christopher Potts

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2020

Intention as commitment toward time.

Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit

Artif. Intell., 2020

Learning from explanations.

Lara Kirfel, Thomas Icard, Tobias Gerstenberg

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

Probabilistic Reasoning Across the Causal Hierarchy.

Duligur Ibeling, Thomas Icard

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

On Open-Universe Causal Reasoning.

Duligur Ibeling, Thomas Icard

Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, 2019

Inflated inflation and superseded supersession: testing counterfactual sampling accounts of causal strength judgments.

Maureen Gill, Jonathan F. Kominsky, Joshua Knobe, Thomas Icard

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

2018

Inferring probability comparisons.

Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III

Math. Soc. Sci., 2018

On the Conditional Logic of Simulation Models.

Duligur Ibeling, Thomas Icard

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

On the instrumental value of hypothetical and counterfactual thought.

Thomas Icard, Fiery Cushman, Joshua Knobe

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

2017

Indicative Conditionals and Dynamic Epistemic Logic.

Wesley H. Holliday, Thomas F. Icard III

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

A Monotonicity Calculus and Its Completeness.

Thomas Icard, Lawrence S. Moss, William Tune

Proceedings of the 15th Meeting on the Mathematics of Language, 2017

Beyond Almost-Sure Termination.

Thomas Icard

Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

Preferential Structures for Comparative Probabilistic Reasoning.

Matthew Harrison-Trainor, Wesley H. Holliday, Thomas F. Icard III

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Causality, Normality, and Sampling Propensity.

Thomas Icard, Joshua Knobe

Proceedings of the 38th Annual Meeting of the Cognitive Science Society, 2016

2015

A Resource-Rational Approach to the Causal Frame Problem.

Thomas Icard, Noah D. Goodman

Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

Neural-Symbolic Learning and Reasoning: Contributions and Challenges.

Artur S. d'Avila Garcez, Tarek R. Besold, Luc De Raedt, Peter Földiák, Pascal Hitzler, Thomas Icard, Kai-Uwe Kühnberger, Luís C. Lamb, Risto Miikkulainen, Daniel L. Silver

Proceedings of the 2015 AAAI Spring Symposia, 2015

2014

Higher-Order Syllogistics.

Thomas F. Icard III

Proceedings of the Formal Grammar - 19th International Conference, 2014

Toward Boundedly Rational Analysis.

Thomas Icard

Proceedings of the 36th Annual Meeting of the Cognitive Science Society, 2014

2013

Information dynamics and uniform substitution.

Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III

Synth., 2013

A Complete Calculus of Monotone and Antitone Higher-Order Functions.

Thomas Icard, Lawrence S. Moss

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Inclusion and Exclusion in Natural Language.

Thomas F. Icard III

Stud Logica, 2012

Provability and Interpretability Logics with Restricted Realizations.

Thomas F. Icard III, Joost J. Joosten

Notre Dame J. Formal Log., 2012

A Uniform Logic of Information Dynamics.

Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III

Proceedings of the Advances in Modal Logic 9, 2012

2011

A Topological Study of the Closed Fragment of GLP.

Thomas Icard

J. Log. Comput., 2011

Schematic Validity in Dynamic Epistemic Logic: Decidability.

Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

2010

Joint Revision of Beliefs and Intention.

Thomas Icard, Eric Pacuit, Yoav Shoham

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Moorean Phenomena in Epistemic Logic.

Wesley H. Holliday, Thomas F. Icard III

Proceedings of the Advances in Modal Logic 8, 2010