Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
Fuente:
arXiv
Saved in:
| Main Authors: | Zhang, Xuan, Zhou, Zhijian, Xu, Weidi, Miao, Yanting, Qu, Chao, Qi, Yuan |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Guiding Diffusion Models with Reinforcement Learning for Stable Molecule Generation
by: Zhou, Zhijian, et al.
Published: (2025)
by: Zhou, Zhijian, et al.
Published: (2025)
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
by: Hu, Wen-Chao, et al.
Published: (2024)
by: Hu, Wen-Chao, et al.
Published: (2024)
Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)
by: Li, Zenan, et al.
Published: (2024)
LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
by: Xu, Weidi, et al.
Published: (2023)
by: Xu, Weidi, et al.
Published: (2023)
Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
by: Tao, Lue, et al.
Published: (2023)
by: Tao, Lue, et al.
Published: (2023)
Compositional Neuro-Symbolic Reasoning
by: Das, Anugyan, et al.
Published: (2026)
by: Das, Anugyan, et al.
Published: (2026)
DyJR: Preserving Diversity in Reinforcement Learning with Verifiable Rewards via Dynamic Jensen-Shannon Replay
by: Li, Long, et al.
Published: (2026)
by: Li, Long, et al.
Published: (2026)
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
by: Shi, Weichun, et al.
Published: (2025)
by: Shi, Weichun, et al.
Published: (2025)
Count Counts: Motivating Exploration in LLM Reasoning with Count-based Intrinsic Rewards
by: Zhang, Xuan, et al.
Published: (2025)
by: Zhang, Xuan, et al.
Published: (2025)
Zero-Shot Conditioning of Score-Based Diffusion Models by Neuro-Symbolic Constraints
by: Scassola, Davide, et al.
Published: (2023)
by: Scassola, Davide, et al.
Published: (2023)
The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning
by: Cunnington, Daniel, et al.
Published: (2024)
by: Cunnington, Daniel, et al.
Published: (2024)
SQL-ASTRA: Alleviating Sparse Feedback in Agentic SQL via Column-Set Matching and Trajectory Aggregation
by: Li, Long, et al.
Published: (2026)
by: Li, Long, et al.
Published: (2026)
A Learnability Analysis on Neuro-Symbolic Learning
by: He, Hao-Yuan, et al.
Published: (2025)
by: He, Hao-Yuan, et al.
Published: (2025)
Federated Neuro-Symbolic Learning
by: Xing, Pengwei, et al.
Published: (2023)
by: Xing, Pengwei, et al.
Published: (2023)
Equivariant Asynchronous Diffusion: An Adaptive Denoising Schedule for Accelerated Molecular Conformation Generation
by: An, Junyi, et al.
Published: (2026)
by: An, Junyi, et al.
Published: (2026)
End-to-End Neuro-Symbolic Reinforcement Learning with Textual Explanations
by: Luo, Lirui, et al.
Published: (2024)
by: Luo, Lirui, et al.
Published: (2024)
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
by: Lorello, Luca Salvatore, et al.
Published: (2025)
by: Lorello, Luca Salvatore, et al.
Published: (2025)
Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
by: Jia, Lin-Han, et al.
Published: (2025)
by: Jia, Lin-Han, et al.
Published: (2025)
The Choice of Divergence: A Neglected Key to Mitigating Diversity Collapse in Reinforcement Learning with Verifiable Reward
by: Li, Long, et al.
Published: (2025)
by: Li, Long, et al.
Published: (2025)
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
by: Feldstein, Jonathan, et al.
Published: (2024)
by: Feldstein, Jonathan, et al.
Published: (2024)
Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
by: Miya, Shinobu
Published: (2025)
by: Miya, Shinobu
Published: (2025)
The KANDY Benchmark: Incremental Neuro-Symbolic Learning and Reasoning with Kandinsky Patterns
by: Lorello, Luca Salvatore, et al.
Published: (2024)
by: Lorello, Luca Salvatore, et al.
Published: (2024)
A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
by: Pojer, Raffaele, et al.
Published: (2025)
by: Pojer, Raffaele, et al.
Published: (2025)
LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
by: Wu, Yanrui, et al.
Published: (2026)
by: Wu, Yanrui, et al.
Published: (2026)
Reliable Classroom AI via Neuro-Symbolic Multimodal Reasoning
by: Nezhad, Sina Bagheri
Published: (2026)
by: Nezhad, Sina Bagheri
Published: (2026)
Sandra -- A Neuro-Symbolic Reasoner Based On Descriptions And Situations
by: Lazzari, Nicolas, et al.
Published: (2024)
by: Lazzari, Nicolas, et al.
Published: (2024)
Neuro-symbolic Learning Yielding Logical Constraints
by: Li, Zenan, et al.
Published: (2024)
by: Li, Zenan, et al.
Published: (2024)
Thought-Like-Pro: Enhancing Reasoning of Large Language Models through Self-Driven Prolog-based Chain-of-Thought
by: Tan, Xiaoyu, et al.
Published: (2024)
by: Tan, Xiaoyu, et al.
Published: (2024)
Neuro-Symbolic Entity Alignment via Variational Inference
by: Chen, Shengyuan, et al.
Published: (2024)
by: Chen, Shengyuan, et al.
Published: (2024)
Neuro-Symbolic Rule Lists
by: Xu, Sascha, et al.
Published: (2024)
by: Xu, Sascha, et al.
Published: (2024)
Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
by: Marconato, Emanuele, et al.
Published: (2025)
by: Marconato, Emanuele, et al.
Published: (2025)
Neuro-Symbolic Verification on Instruction Following of LLMs
by: Su, Yiming, et al.
Published: (2026)
by: Su, Yiming, et al.
Published: (2026)
Softened Symbol Grounding for Neuro-symbolic Systems
by: Li, Zenan, et al.
Published: (2024)
by: Li, Zenan, et al.
Published: (2024)
Neuro-Symbolic Artificial Intelligence: Towards Improving the Reasoning Abilities of Large Language Models
by: Yang, Xiao-Wen, et al.
Published: (2025)
by: Yang, Xiao-Wen, et al.
Published: (2025)
KANFIS: A Neuro-Symbolic Framework for Interpretable and Uncertainty-Aware Learning
by: Yong, Binbin, et al.
Published: (2026)
by: Yong, Binbin, et al.
Published: (2026)
Toward Auditable Neuro-Symbolic Reasoning in Pathology: SQL as an Explicit Trace of Evidence
by: Cao, Kewen, et al.
Published: (2026)
by: Cao, Kewen, et al.
Published: (2026)
Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
by: Hersche, Michael, et al.
Published: (2024)
by: Hersche, Michael, et al.
Published: (2024)
BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts
by: Marconato, Emanuele, et al.
Published: (2024)
by: Marconato, Emanuele, et al.
Published: (2024)
Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
by: Yang, Sen, et al.
Published: (2023)
by: Yang, Sen, et al.
Published: (2023)
Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
by: Tang, Weizhi, et al.
Published: (2025)
by: Tang, Weizhi, et al.
Published: (2025)
Similar Items
-
Guiding Diffusion Models with Reinforcement Learning for Stable Molecule Generation
by: Zhou, Zhijian, et al.
Published: (2025) -
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
by: Hu, Wen-Chao, et al.
Published: (2024) -
Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024) -
LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
by: Xu, Weidi, et al.
Published: (2023) -
Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
by: Tao, Lue, et al.
Published: (2023)