Buchumschlag

Quantifying Calibration Error in Neural Networks Through Evidence-Based Theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ouattara, Koffi Ismael, Krontiris, Ioannis, Dimitrakos, Theo, Kargl, Frank
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Machine Learning Artificial Intelligence Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Assessing Trustworthiness of AI Training Dataset using Subjective Logic -- A Use Case on Bias
von: Ouattara, Koffi Ismael, et al.
Veröffentlicht: (2025)

From Circuit Evidence to Mechanistic Theory: An Inductive Logic Approach
von: Aljaafari, Nura, et al.
Veröffentlicht: (2026)

Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification
von: Xi, Bowen, et al.
Veröffentlicht: (2023)

Machine Learning for Quantifier Selection in cvc5
von: Jakubův, Jan, et al.
Veröffentlicht: (2024)

Neural Logic Networks for Interpretable Classification
von: Perreault, Vincent, et al.
Veröffentlicht: (2025)

Hypergraph Neural Networks Accelerate MUS Enumeration
von: Ijima, Hiroya, et al.
Veröffentlicht: (2026)

Regional, Lattice and Logical Representations of Neural Networks
von: Preto, Sandro, et al.
Veröffentlicht: (2025)

Efficient Certified Reasoning for Binarized Neural Networks
von: Yang, Jiong, et al.
Veröffentlicht: (2025)

Comparing Neural Network Encodings for Logic-based Explainability
von: Carvalho, Levi Cordeiro, et al.
Veröffentlicht: (2025)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
von: Wu, Haoze, et al.
Veröffentlicht: (2024)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
von: Daggitt, Matthew L., et al.
Veröffentlicht: (2024)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
von: Zhang, Xiyue, et al.
Veröffentlicht: (2024)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
von: Zhang, Yani, et al.
Veröffentlicht: (2024)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
von: König, Matthias, et al.
Veröffentlicht: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
von: Nunn, Pierre, et al.
Veröffentlicht: (2024)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
von: Boetius, David, et al.
Veröffentlicht: (2026)

Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
von: Rothkopf, Raven, et al.
Veröffentlicht: (2024)

Quantifying artificial intelligence through algorithmic generalization
von: Ito, Takuya, et al.
Veröffentlicht: (2024)

Neural logic programs and neural nets
von: Antić, Christian
Veröffentlicht: (2024)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
von: Anwer, Nivar, et al.
Veröffentlicht: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
von: Upreti, Nijesh, et al.
Veröffentlicht: (2026)

VeriFlow: Modeling Distributions for Neural Network Verification
von: Zaid, Faried Abu, et al.
Veröffentlicht: (2024)

The Optimal Choice of Hypothesis Is the Weakest, Not the Shortest
von: Bennett, Michael Timothy
Veröffentlicht: (2023)

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
von: Vishwakarma, Rahul, et al.
Veröffentlicht: (2023)

Shield Synthesis for LTL Modulo Theories
von: Rodriguez, Andoni, et al.
Veröffentlicht: (2024)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
von: Baugh, Kexin Gu, et al.
Veröffentlicht: (2025)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
von: Teuber, Samuel, et al.
Veröffentlicht: (2024)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
von: Li, Augustus Haoyang
Veröffentlicht: (2026)

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
von: Zhang, Yaofang, et al.
Veröffentlicht: (2026)

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
von: Damera, Sai Sandeep, et al.
Veröffentlicht: (2026)

On Trustworthy Rule-Based Models and Explanations
von: Siala, Mohamed, et al.
Veröffentlicht: (2025)

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
von: Damera, Sai Sandeep, et al.
Veröffentlicht: (2026)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

SATformer: Transformer-Based UNSAT Core Learning
von: Shi, Zhengyuan, et al.
Veröffentlicht: (2022)

Magnushammer: A Transformer-Based Approach to Premise Selection
von: Mikuła, Maciej, et al.
Veröffentlicht: (2023)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
von: De Angelis, Emanuele, et al.
Veröffentlicht: (2024)

Compact Rule-Based Classifier Learning via Gradient Descent
von: Fumanal-Idocin, Javier, et al.
Veröffentlicht: (2025)

Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
von: Yin, Hang, et al.
Veröffentlicht: (2023)

Expressive Power of Deep Homomorphism Networks over Relational Databases
von: Schönherr, Moritz, et al.
Veröffentlicht: (2026)

Neural Proofs for Sound Verification and Control of Complex Systems
von: Abate, Alessandro
Veröffentlicht: (2025)