Cover Image

CON-FOLD -- Explainable Machine Learning with Confidence

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	McGinness, Lachlan, Baumgartner, Peter
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated Theorem Provers Help Improve Large Language Model Reasoning
by: McGinness, Lachlan, et al.
Published: (2024)

On the Conditions for Domain Stability for Machine Learning: a Mathematical Approach
by: Pedroza, Gabriel
Published: (2024)

Large Language Models' Reasoning Stalls: An Investigation into the Capabilities of Frontier Models
by: McGinness, Lachlan, et al.
Published: (2025)

The AlphaPhysics Term Rewriting System for Marking Algebraic Expressions in Physics Exams
by: Baumgartner, Peter, et al.
Published: (2025)

Axiomatic Foundations of Counterfactual Explanations
by: Amgoud, Leila, et al.
Published: (2026)

Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies
by: McGinness, Lachlan, et al.
Published: (2024)

Highlighting Case Studies in LLM Literature Review of Interdisciplinary System Science
by: McGinness, Lachlan, et al.
Published: (2025)

Inverse-Free Wilson Loops for Transformers: A Practical Diagnostic for Invariance and Order Sensitivity
by: Chang, Edward Y., et al.
Published: (2025)

Large Language Models Imitate Logical Reasoning, but at what Cost?
by: McGinness, Lachlan, et al.
Published: (2025)

Causal Identification from Counterfactual Data: Completeness and Bounding Results
by: Raghavan, Arvind, et al.
Published: (2026)

Counterfactual Realizability
by: Raghavan, Arvind, et al.
Published: (2025)

Argumentation and Machine Learning
by: Rago, Antonio, et al.
Published: (2024)

A Framework for Generating Informative Benchmark Instances
by: Dang, Nguyen, et al.
Published: (2022)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
by: Zhang, Liao, et al.
Published: (2024)

Overview of AI Grading of Physics Olympiad Exams
by: McGinness, Lachlan
Published: (2025)

Comparing verbal, visual and combined explanations for Bayesian Network inferences
by: Nyberg, Erik P., et al.
Published: (2025)

Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
by: Ngouonou, Jovial Cheukam, et al.
Published: (2025)

The Luna Bound Propagator for Formal Analysis of Neural Networks
by: LeCates, Henry, et al.
Published: (2026)

Reasoning-Enhanced Rare-Event Prediction with Balanced Outcome Correction
by: Bulgakov, Vitaly, et al.
Published: (2026)

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
by: Nieuwenhuis, Robert, et al.
Published: (2024)

Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing
by: Semmelrock, Veronika, et al.
Published: (2026)

JoFormer (Journey-based Transformer): Theory and Empirical Analysis on the Tiny Shakespeare Dataset
by: Godavarti, Mahesh
Published: (2025)

Knowledge Graph and Hypergraph Transformers with Repository-Attention and Journey-Based Role Transport
by: Godavarti, Mahesh
Published: (2026)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
by: Jaakkola, Reijo, et al.
Published: (2024)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
by: Aniva, Leni, et al.
Published: (2024)

Learning How to Cube
by: Erata, Ferhat, et al.
Published: (2026)

Towards Automated Readable Proofs of Ruler and Compass Constructions
by: Marinković, Vesna, et al.
Published: (2024)

Exact Synthetic Populations for Scalable Societal and Market Modeling
by: Petit, Thierry, et al.
Published: (2025)

Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures
by: Leonhart, Emma
Published: (2026)

No-Knowledge Alarms for Misaligned LLMs-as-Judges
by: Corrada-Emmanuel, Andrés
Published: (2025)

Fairness Interventions: A Study in AI Explainability
by: Souverain, Thomas, et al.
Published: (2024)

Mitigating Spurious Correlations with Causal Logit Perturbation
by: Zhou, Xiaoling, et al.
Published: (2025)

Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories
by: Biggin, Aaron, et al.
Published: (2025)

Generative Fractional Diffusion Models
by: Nobis, Gabriel, et al.
Published: (2023)

The Equivalence Theorem: First-Class Relationships for Structurally Complete Database Systems
by: Alford, Matthew
Published: (2026)

Two-Level Type Theory and Applications
by: Annenkov, Danil, et al.
Published: (2017)

Interpretable classifiers for tabular data via discretization and feature selection
by: Jaakkola, Reijo, et al.
Published: (2024)

Agent Semantics, Semantic Spacetime, and Graphical Reasoning
by: Burgess, Mark
Published: (2025)

Directional Non-Commutative Monoidal Structures for Compositional Embeddings in Machine Learning
by: Godavarti, Mahesh
Published: (2025)

Directional Non-Commutative Monoidal Structures with Interchange Law via Commutative Generators
by: Godavarti, Mahesh
Published: (2025)