Cover Image

Neuro-symbolic Learning Yielding Logical Constraints

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Zenan, Huang, Yunpeng, Li, Zhaoyu, Yao, Yuan, Xu, Jingwei, Chen, Taolue, Ma, Xiaoxing, Lu, Jian
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Softened Symbol Grounding for Neuro-symbolic Systems
by: Li, Zenan, et al.
Published: (2024)

Learning with Logical Constraints but without Shortcut Satisfaction
by: Li, Zenan, et al.
Published: (2024)

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
by: He, Baoding, et al.
Published: (2026)

A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
by: Zhou, Zhi, et al.
Published: (2025)

Neuro-Logic Lifelong Learning
by: He, Bowen, et al.
Published: (2025)

Neuro-symbolic Action Masking for Deep Reinforcement Learning
by: Han, Shuai, et al.
Published: (2026)

Conformal Correction for Efficiency May be at Odds with Entropy
by: Xu, Senrong, et al.
Published: (2025)

Fair Conformal Classification via Learning Representation-Based Groups
by: Xu, Senrong, et al.
Published: (2026)

Bridging Internal Probability and Self-Consistency for Effective and Efficient LLM Reasoning
by: Zhou, Zhi, et al.
Published: (2025)

Task Abstention for Large Language Models in Code Generation
by: Zhou, Yanke, et al.
Published: (2026)

Neuro-symbolic Weak Supervision: Theory and Semantics
by: Upreti, Nijesh, et al.
Published: (2025)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
by: Xu, Weidi, et al.
Published: (2023)

Learning to Disprove: Formal Counterexample Generation with Large Language Models
by: Li, Zenan, et al.
Published: (2026)

Learning Neuro-symbolic Programs for Language Guided Robot Manipulation
by: Kalithasan, Namasivayam, et al.
Published: (2022)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
by: Sharifi, Iman, et al.
Published: (2026)

A Learnability Analysis on Neuro-Symbolic Learning
by: He, Hao-Yuan, et al.
Published: (2025)

Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)

Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning
by: He, Haoyuan, et al.
Published: (2022)

Uncertainty Quantification for LLM-based Code Generation
by: Xu, Senrong, et al.
Published: (2026)

Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey
by: Huang, Yunpeng, et al.
Published: (2023)

Multitask Kernel-based Learning with Logic Constraints
by: Diligenti, Michelangelo, et al.
Published: (2024)

Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
by: Tao, Lue, et al.
Published: (2023)

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

Neuro-Inspired Hierarchical Multimodal Learning
by: Xiao, Xiongye, et al.
Published: (2023)

A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic
by: Cotnareanu, Joseph, et al.
Published: (2026)

Advancing Biomedicine with Graph Representation Learning: Recent Progress, Challenges, and Future Directions
by: Li, Fang, et al.
Published: (2023)

Long-Context Attention Benchmark: From Kernel Efficiency to Distributed Context Parallelism
by: Bu, Tao, et al.
Published: (2025)

Multi-branch of Attention Yields Accurate Results for Tabular Data
by: Li, Xuechen, et al.
Published: (2025)

Efficient Reinforcement Learning for Zero-Shot Coordination in Evolving Games
by: Hui, Bingyu, et al.
Published: (2025)

Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models
by: Bortolotti, Samuele, et al.
Published: (2026)

MTLSO: A Multi-Task Learning Approach for Logic Synthesis Optimization
by: Faez, Faezeh, et al.
Published: (2024)

Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints
by: Scassola, Davide, et al.
Published: (2023)

NASP-T: A Fuzzy Neuro-Symbolic Transformer for Logic-Constrained Aviation Safety Report Classification
by: Machot, Fadi Al, et al.
Published: (2025)

Learning neuro-symbolic convergent term rewriting systems
by: Petruzzellis, Flavio, et al.
Published: (2025)

Logically Consistent Language Models via Neuro-Symbolic Integration
by: Calanzone, Diego, et al.
Published: (2024)

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
by: Li, Zenan, et al.
Published: (2025)

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
by: Yang, Xiao-Wen, et al.
Published: (2025)

Learning for Long-Horizon Planning via Neuro-Symbolic Abductive Imitation
by: Shao, Jie-Jing, et al.
Published: (2024)

Relaxing Continuous Constraints of Equivariant Graph Neural Networks for Physical Dynamics Learning
by: Zheng, Zinan, et al.
Published: (2024)

Explainable Diagnosis Prediction through Neuro-Symbolic Integration
by: Lu, Qiuhao, et al.
Published: (2024)