Copertina

A Mathematical Framework and a Suite of Learning Techniques for Neural-Symbolic Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dickens, Charles, Pryor, Connor, Gao, Changyu, Albalak, Alon, Augustine, Eriq, Wang, William, Wright, Stephen, Getoor, Lise
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning
di: Dickens, Charles, et al.
Pubblicazione: (2024)

MAGPIE: A dataset for Multi-AGent contextual PrIvacy Evaluation
di: Juneja, Gurusha, et al.
Pubblicazione: (2025)

Using Domain Knowledge to Guide Dialog Structure Induction via Neural Probabilistic Soft Logic
di: Pryor, Connor, et al.
Pubblicazione: (2024)

Generalization v.s. Memorization: Tracing Language Models' Capabilities Back to Pretraining Data
di: Wang, Xinyi, et al.
Pubblicazione: (2024)

Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification
di: Veronica, Sarah
Pubblicazione: (2025)

A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
di: Bortolotti, Samuele, et al.
Pubblicazione: (2024)

BlendRL: A Framework for Merging Symbolic and Neural Policy Learning
di: Shindo, Hikaru, et al.
Pubblicazione: (2024)

(Neural-Symbolic) Machine Learning for Inconsistency Measurement
di: Weinzierl, Sven, et al.
Pubblicazione: (2025)

Declarative Design of Neural Predicates in Neuro-Symbolic Systems
di: Hinnerichs, Tilman, et al.
Pubblicazione: (2024)

Towards System 2 Reasoning in LLMs: Learning How to Think With Meta Chain-of-Thought
di: Xiang, Violet, et al.
Pubblicazione: (2025)

A Neural-Guided Dynamic Symbolic Network for Exploring Mathematical Expressions from Data
di: Li, Wenqiang, et al.
Pubblicazione: (2023)

MoDeSuite: Robot Learning Task Suite for Benchmarking Mobile Manipulation with Deformable Objects
di: Zhang, Yuying, et al.
Pubblicazione: (2025)

SERL: A Software Suite for Sample-Efficient Robotic Reinforcement Learning
di: Luo, Jianlan, et al.
Pubblicazione: (2024)

Model-Grounded Symbolic Artificial Intelligence Systems Learning and Reasoning with Model-Grounded Symbolic Artificial Intelligence Systems
di: Chattopadhyay, Aniruddha, et al.
Pubblicazione: (2025)

ReasonAgain: Using Extractable Symbolic Programs to Evaluate Mathematical Reasoning
di: Yu, Xiaodong, et al.
Pubblicazione: (2024)

Big-Math: A Large-Scale, High-Quality Math Dataset for Reinforcement Learning in Language Models
di: Albalak, Alon, et al.
Pubblicazione: (2025)

Uncertainty-Aware Measurement of Scenario Suite Representativeness for Autonomous Systems
di: Chakherlou, Robab Aghazadeh, et al.
Pubblicazione: (2025)

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

Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)
di: Machot, Fadi Al
Pubblicazione: (2023)

Towards Responsible and Trustworthy Educational Data Mining: Comparing Symbolic, Sub-Symbolic, and Neural-Symbolic AI Methods
di: Hooshyar, Danial, et al.
Pubblicazione: (2025)

Grounding Methods for Neural-Symbolic AI
di: Ontiveros, Rodrigo Castellano, et al.
Pubblicazione: (2025)

Distilling Symbolic Priors for Concept Learning into Neural Networks
di: Marinescu, Ioana, et al.
Pubblicazione: (2024)

Machine Learning Algorithms In User Authentication Schemes
di: Pryor, Laura, et al.
Pubblicazione: (2021)

KANFIS: A Neuro-Symbolic Framework for Interpretable and Uncertainty-Aware Learning
di: Yong, Binbin, et al.
Pubblicazione: (2026)

Masked Thought: Simply Masking Partial Reasoning Steps Can Improve Mathematical Reasoning Learning of Language Models
di: Chen, Changyu, et al.
Pubblicazione: (2024)

Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
di: Jia, Lin-Han, et al.
Pubblicazione: (2025)

Enhancing Symbolic Machine Learning by Subsymbolic Representations
di: Roth, Stephen, et al.
Pubblicazione: (2025)

Neural Networks for on-chip Model Predictive Control: a Method to Build Optimized Training Datasets and its application to Type-1 Diabetes
di: Castillo, Alberto, et al.
Pubblicazione: (2025)

TALES: Text Adventure Learning Environment Suite
di: Cui, Christopher Zhang, et al.
Pubblicazione: (2025)

Measuring Error Alignment for Decision-Making Systems
di: Xu, Binxia, et al.
Pubblicazione: (2024)

LOOP: A Plug-and-Play Neuro-Symbolic Framework for Enhancing Planning in Autonomous Systems
di: Virwani, Ronit, et al.
Pubblicazione: (2025)

GNN-Suite: a Graph Neural Network Benchmarking Framework for Biomedical Informatics
di: Kamp, Sebestyén, et al.
Pubblicazione: (2025)

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
di: Lorello, Luca Salvatore, et al.
Pubblicazione: (2025)

Symbol Correctness in Deep Neural Networks Containing Symbolic Layers
di: Bembenek, Aaron, et al.
Pubblicazione: (2024)

GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models
di: Mirzadeh, Iman, et al.
Pubblicazione: (2024)

SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training
di: Meidani, Kazem, et al.
Pubblicazione: (2023)

Advanced Weakly-Supervised Formula Exploration for Neuro-Symbolic Mathematical Reasoning
di: Wu, Yuxuan, et al.
Pubblicazione: (2025)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
di: Shalyt, Michael, et al.
Pubblicazione: (2025)

Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics
di: Chau, Herman, et al.
Pubblicazione: (2025)

A Semantic Framework for Neuro-Symbolic Computing
di: Odense, Simon, et al.
Pubblicazione: (2022)