Mateja Jamnik

Swami Sankaranarayanan

Proceedings of the Computer Vision - ECCV 2024, 2024

A Human Information Processing Theory of the Interpretation of Visualizations: Demonstrating Its Utility.

[BibT_eX]

[DOI]

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

Generation of Visual Representations for Multi-Modal Mathematical Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

TabCBM: Concept-based Interpretable Neural Networks for Tabular Data.

[BibT_eX]

[DOI]

Trans. Mach. Learn. Res., 2023

HEALNet - Hybrid Multi-Modal Fusion for Heterogeneous Biomedical Data.

[BibT_eX]

[DOI]

Konstantin Hemker

Nikola Simidjievski

CoRR, 2023

Multilingual Mathematical Autoformalization.

[BibT_eX]

[DOI]

Albert Q. Jiang

Wenda Li

CoRR, 2023

Enhancing Representation Learning on High-Dimensional, Small-Size Tabular Data: A Divide and Conquer Method with Ensembled VAEs.

[BibT_eX]

[DOI]

CoRR, 2023

ProtoGate: Prototype-based Neural Networks with Local Feature Selection for Tabular Biomedical Data.

[BibT_eX]

[DOI]

CoRR, 2023

Evaluating Language Models for Mathematics through Interactions.

[BibT_eX]

[DOI]

CoRR, 2023

GCI: A (G)raph (C)oncept (I)nterpretation Framework.

[BibT_eX]

[DOI]

Dmitry Kazhdan

Botty Dimanov

Pietro Barbiero

CoRR, 2023

Concept Distillation in Graph Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Explainable Artificial Intelligence, 2023

Human Visual Consistency-Checking in the Real World Ontologies.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2023

CGXplain: Rule-Based Deep Neural Network Explanations Using Dual Linear Programs.

[BibT_eX]

[DOI]

Konstantin Hemker

Zohreh Shams

Proceedings of the Trustworthy Machine Learning for Healthcare, 2023

Learning to Receive Help: Intervention-Aware Concept Embedding Models.

[BibT_eX]

[DOI]

Katie Collins

Krishnamurthy Dvijotham

Adrian Weller

Zohreh Shams

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

Interpretable Neural-Symbolic Concept Reasoning.

[BibT_eX]

[DOI]

Pietro Barbiero

Gabriele Ciravegna

Francesco Giannini

Proceedings of the International Conference on Machine Learning, 2023

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

How Can We Make Trustworthy AI? (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

A novel interaction for competence assessment using micro-behaviors: : Extending CACHET to graphs and charts.

[BibT_eX]

[DOI]

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

Human Uncertainty in Concept-Based AI Systems.

[BibT_eX]

[DOI]

Katherine Maeve Collins

Matthew Barker

Krishnamurthy Dvijotham

Proceedings of the 2023 AAAI/ACM Conference on AI, Ethics, and Society, 2023

Towards Robust Metrics for Concept Representation Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Weight Predictor Network with Feature Selection for Small Sample Tabular Biomedical Data.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Discrete Lagrangian Neural Networks with Automatic Symmetry Discovery.

[BibT_eX]

[DOI]

CoRR, 2022

Graph-Conditioned MLP for High-Dimensional Tabular Biomedical Data.

[BibT_eX]

[DOI]

CoRR, 2022

Concept Embedding Models.

[BibT_eX]

[DOI]

Michelangelo Diligenti

CoRR, 2022

Encoding Concepts in Graph Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2022

Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations.

[BibT_eX]

[DOI]

CoRR, 2022

Unsupervised construction of computational graphs for gene expression data with explicit structural inductive biases.

[BibT_eX]

[DOI]

Bioinform., 2022

Examining Experts' Recommendations of Representational Systems for Problem Solving.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, 2022

Concept Embedding Models: Beyond the Accuracy-Explainability Trade-Off.

[BibT_eX]

[DOI]

Michelangelo Diligenti

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Autoformalization with Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Distributed Representations of Graphs for Drug Pair Scoring.

[BibT_eX]

[DOI]

Paul Scherer

Proceedings of the Learning on Graphs Conference, 2022

Cognitive Analysis for Representation Change.

[BibT_eX]

[DOI]

Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), 2022

Oruga: an avatar of Representational Systems Theory.

[BibT_eX]

[DOI]

Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), 2022

Evaluating Colour in Concept Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2022

Representational Interpretive Structure: Theory and Notation.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2022

Explainer Divergence Scores (EDS): Some Post-Hoc Explanations May be Effective for Detecting Unknown Spurious Correlations.

[BibT_eX]

[DOI]

Shea Cardozo

Gabriel Islas Montero

Proceedings of the CIKM 2022 Workshops co-located with 31st ACM International Conference on Information and Knowledge Management (CIKM 2022), 2022

On the Relation between Distributionally Robust Optimization and Data Curation (Student Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Endowing Machines with the Expert Human Ability to Select Representations: Why and How.

[BibT_eX]

[DOI]

Proceedings of the Human-Like Machine Intelligence., 2022

2021

Efficient Decompositional Rule Extraction for Deep Neural Networks.

[BibT_eX]

[DOI]

Zohreh Shams

CoRR, 2021

Do Concept Bottleneck Models Learn as Intended?

[BibT_eX]

[DOI]

CoRR, 2021

Failing Conceptually: Concept-Based Explanations of Dataset Shift.

[BibT_eX]

[DOI]

CoRR, 2021

Is Disentanglement all you need? Comparing Concept-based & Disentanglement Approaches.

[BibT_eX]

[DOI]

CoRR, 2021

A Graphical User Interface Framework for Formal Verification.

[BibT_eX]

[DOI]

Edward W. Ayers

William T. Gowers

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

Considerations in Representation Selection for Problem Solving: A Review.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2021

Observing Strategies of Drawing Data Representations.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2021

Cognitive Properties of Representations: A Framework.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2021

Structural Inductive Biases in Emergent Communication.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

2020

MEME: Generating RNN Model Explanations via Model Extraction.

[BibT_eX]

[DOI]

CoRR, 2020

Improving Interpretability in Medical Imaging Diagnosis using Adversarial Training.

[BibT_eX]

[DOI]

CoRR, 2020

Using ontology embeddings for structural inductive bias in gene expression data analysis.

[BibT_eX]

[DOI]

CoRR, 2020

Pairwise Relations Discriminator for Unsupervised Raven's Progressive Matrices.

[BibT_eX]

[DOI]

Nicholas Quek Wei Kiat

CoRR, 2020

Incorporating network based protein complex discovery into automated model construction.

[BibT_eX]

[DOI]

CoRR, 2020

Learned Low Precision Graph Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Generalisable Relational Reasoning With Comparators in Low-Dimensional Manifolds.

[BibT_eX]

[DOI]

CoRR, 2020

Probabilistic Dual Network Architecture Search on Graphs.

[BibT_eX]

[DOI]

CoRR, 2020

Exploring Structural Inductive Biases in Emergent Communication.

[BibT_eX]

[DOI]

CoRR, 2020

Towards Graph Representation Learning in Emergent Communication.

[BibT_eX]

[DOI]

CoRR, 2020

Correspondence-based analogies for choosing problem representations.

[BibT_eX]

[DOI]

Advait Sarkar

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2020

Cross-domain Correspondences for Explainable Recommendations.

[BibT_eX]

[DOI]

Advait Sarkar

Proceedings of the Workshop on Explainable Smart Systems for Algorithmic Transparency in Emerging Technologies co-located with 25th International Conference on Intelligent User Interfaces (IUI 2020), 2020

How to (Re)represent it?

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Abstract Diagrammatic Reasoning with Multiplex Graph Networks.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Learning Representations, 2020

Dissecting Representations.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2020

Now You See Me (CME): Concept-based Model Extraction.

[BibT_eX]

[DOI]

Proceedings of the CIKM 2020 Workshops co-located with 29th ACM International Conference on Information and Knowledge Management (CIKM 2020), 2020

Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract).

[BibT_eX]

[DOI]

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

You Shouldn't Trust Me: Learning Models Which Conceal Unfairness From Multiple Explanation Methods.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019

Human inference beyond syllogisms: an approach using external graphical representations.

[BibT_eX]

[DOI]

Cogn. Process., 2019

Decoupling feature propagation from the design of graph auto-encoders.

[BibT_eX]

[DOI]

CoRR, 2019

Bayesian Optimisation with Gaussian Processes for Premise Selection.

[BibT_eX]

[DOI]

CoRR, 2019

Unsupervised and interpretable scene discovery with Discrete-Attend-Infer-Repeat.

[BibT_eX]

[DOI]

CoRR, 2019

Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, 2019

Inspection and Selection of Representations.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

A Human-Oriented Term Rewriting System.

[BibT_eX]

[DOI]

Edward William Ayers

William T. Gowers

Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

Exploring and Conceptualising Attestation.

[BibT_eX]

[DOI]

Proceedings of the Graph-Based Representation and Reasoning, 2019

Elucidating the Cognitive Anatomy of Representation Systems.

[BibT_eX]

[DOI]

Grecia Garcia Garcia

Daniel Raggi

Aaron Stockdill

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

2018

iCon: A Diagrammatic Theorem Prover for Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Investigating Diagrammatic Reasoning with Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2018

The Observational Advantages of Euler Diagrams with Existential Import.

[BibT_eX]

[DOI]

Atsushi Shimojima

Proceedings of the Diagrammatic Representation and Inference, 2018

Accessible Reasoning with Diagrams: From Cognition to Automation.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2018

Deductive reasoning about expressive statements using external graphical representations.

[BibT_eX]

[DOI]

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

2017

What Makes an Effective Representation of Information: A Formal Account of Observational Advantages.

[BibT_eX]

[DOI]

Atsushi Shimojima

J. Log. Lang. Inf., 2017

How Network-based and set-based visualizations aid consistency checking in ontologies.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Visual Information Communication and Interaction, 2017

Reasoning with Concept Diagrams About Antipatterns in Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Reasoning with Concept Diagrams about Antipatterns.

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

2016

Tactical Diagrammatic Reasoning.

[BibT_eX]

[DOI]

Sven Linker

Jim Burton

Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, 2016

Visual discovery and model-driven explanation of time series patterns.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016

Effective Representation of Information: Generalizing Free Rides.

[BibT_eX]

[DOI]

Atsushi Shimojima

Proceedings of the Diagrammatic Representation and Inference, 2016

2015

Speedith: A Reasoner for Spider Diagrams.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2015

Interactive visual machine learning in spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

Interaction with Uncertainty in Visualisations.

[BibT_eX]

[DOI]

Proceedings of the 17th Eurographics Conference on Visualization, 2015

2014

Teach and try: A simple interaction technique for exploratory data modelling by end users.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

A Framework for Heterogeneous Reasoning in Formal and Informal Domains.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2014

2013

Designing inference rules for spider diagrams.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

2012

Speedith: A Diagrammatic Reasoner for Spider Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2012

Diabelli: A Heterogeneous Proof System.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

Heterogeneous Reasoning in Real Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2008

Combined reasoning by automated cooperation.

[BibT_eX]

[DOI]

J. Appl. Log., 2008

Diagrammatic Reasoning in Separation Logic.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2005

On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner.

[BibT_eX]

[DOI]

Louise A. Dennis

Martin Pollet

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

Psychological Validity of Schematic Proofs.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Can a Higher-Order and a First-Order Theorem Prover Cooperate?.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2004

On Differences between the Real and Physical Plane.

[BibT_eX]

[DOI]

Daniel Winterstein

Proceedings of the Diagrammatic Representation and Inference, 2004

An Experimental Comparison of Diagrammatic and Algebraic Logics.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2004

2003

Automatic Learning of Proof Methods in Proof Planning.

[BibT_eX]

[DOI]

Log. J. IGPL, 2003

Learning Strategies for Mechanised Building of Decision Procedures.

[BibT_eX]

[DOI]

Predrag Janicic

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

2002

Automatic Learning in Proof Planning.

[BibT_eX]

Manfred Kerber

Martin Pollet

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Using Animation in Diagrammatic Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2002

Learn Omega-matic: System Description.

[BibT_eX]

[DOI]

Manfred Kerber

Martin Pollet

Proceedings of the Automated Deduction, 2002

On Automating Diagrammatic Proofs of Arithmetic Arguments.

[BibT_eX]

[DOI]

Ian Green

Proceedings of the Diagrammatic Representation and Reasoning, 2002

2001

Experiments with an Agent-Oriented Reasoning System.

[BibT_eX]

[DOI]

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

2000

A Proposal for Automating Diagrammatic Reasoning in Continuous Domains.

[BibT_eX]

[DOI]

Daniel Winterstein

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

Resource Guided Concurrent Deduction.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

On Automating Diagrammatic Proofs of Arithmetic Arguments.

[BibT_eX]

[DOI]

Ian Green

J. Log. Lang. Inf., 1999

Agent based mathematical reasoning.

[BibT_eX]

[DOI]

Proceedings of the Systems for Integrated Computation and Deduction, 1999

1997

Automation of Diagrammatic Reasoning.

[BibT_eX]

Ian Green

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Automation of Diagrammatic Proofs in Mathematics.

[BibT_eX]

[DOI]