Buchumschlag

A Novel Approach To Implementing Knowledge Distillation In Tsetlin Machines

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kinateder, Calvin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Machine Learning Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
von: DeLong, Lauren Nicole, et al.
Veröffentlicht: (2023)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
von: Ciatto, Giovanni, et al.
Veröffentlicht: (2025)

Meta Operator for Complex Query Answering on Knowledge Graphs
von: Yin, Hang, et al.
Veröffentlicht: (2024)

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

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

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
von: Bizzaro, Davide, et al.
Veröffentlicht: (2025)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
von: Baaj, Ismaïl, et al.
Veröffentlicht: (2025)

Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
von: Zhapa-Camacho, Fernando, et al.
Veröffentlicht: (2025)

Value Function Initialization for Knowledge Transfer and Jump-start in Deep Reinforcement Learning
von: Mehimeh, Soumia
Veröffentlicht: (2025)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
von: Joshi, Aniruddha, et al.
Veröffentlicht: (2025)

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

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
von: Aditya, Dyuman, et al.
Veröffentlicht: (2025)

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

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
von: Meli, Daniele, et al.
Veröffentlicht: (2024)

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

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
von: He, Yunjie, et al.
Veröffentlicht: (2024)

A Neurosymbolic Approach to Natural Language Formalization and Verification
von: Bayless, Sam, et al.
Veröffentlicht: (2025)

Harnessing the Power of Semi-Structured Knowledge and LLMs with Triplet-Based Prefiltering for Question Answering
von: Boer, Derian, et al.
Veröffentlicht: (2024)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
von: Qasim, Kaleem Ullah, et al.
Veröffentlicht: (2025)

A Compositional Atlas for Algebraic Circuits
von: Wang, Benjie, et al.
Veröffentlicht: (2024)

Formal Mathematical Reasoning: A New Frontier in AI
von: Yang, Kaiyu, et al.
Veröffentlicht: (2024)

MARS: A neurosymbolic approach for interpretable drug discovery
von: DeLong, Lauren Nicole, et al.
Veröffentlicht: (2024)

Can Transformers Reason Logically? A Study in SAT Solving
von: Pan, Leyan, et al.
Veröffentlicht: (2024)

PiShield: A PyTorch Package for Learning with Requirements
von: Stoian, Mihaela Cătălina, et al.
Veröffentlicht: (2024)

SDSC:A Structure-Aware Metric for Semantic Signal Representation Learning
von: Lee, Jeyoung, et al.
Veröffentlicht: (2025)

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

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

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
von: Li, Chunxiao, et al.
Veröffentlicht: (2024)

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

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

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
von: Zhao, Yanxiao, et al.
Veröffentlicht: (2025)

BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization
von: Lourenço, Bruno F., et al.
Veröffentlicht: (2026)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
von: Buleshnyi, Mykhailo, et al.
Veröffentlicht: (2025)

P2C: Path to Counterfactuals
von: Dasgupta, Sopam, et al.
Veröffentlicht: (2025)

Autonomous Code Evolution Meets NP-Completeness
von: Yu, Cunxi, et al.
Veröffentlicht: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
von: Sälzer, Marco, et al.
Veröffentlicht: (2025)

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

Expressive Temporal Specifications for Reward Monitoring
von: Adalat, Omar, et al.
Veröffentlicht: (2025)

Abduction of Domain Relationships from Data for VQA
von: Chowdhury, Al Mehdi Saadat, et al.
Veröffentlicht: (2025)

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