Softened Symbol Grounding for Neuro-symbolic Systems
Fuente:
arXiv
Salvato in:
| Autori principali: | Li, Zenan, Yao, Yuan, Chen, Taolue, Xu, Jingwei, Cao, Chun, Ma, Xiaoxing, Lü, Jian |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Neuro-symbolic Learning Yielding Logical Constraints
di: Li, Zenan, et al.
Pubblicazione: (2024)
di: Li, Zenan, et al.
Pubblicazione: (2024)
Learning with Logical Constraints but without Shortcut Satisfaction
di: Li, Zenan, et al.
Pubblicazione: (2024)
di: Li, Zenan, et al.
Pubblicazione: (2024)
Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
di: He, Baoding, et al.
Pubblicazione: (2026)
di: He, Baoding, et al.
Pubblicazione: (2026)
Neuro-Symbolic Data Generation for Math Reasoning
di: Li, Zenan, et al.
Pubblicazione: (2024)
di: Li, Zenan, et al.
Pubblicazione: (2024)
Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
di: Marconato, Emanuele, et al.
Pubblicazione: (2025)
di: Marconato, Emanuele, et al.
Pubblicazione: (2025)
A Learnability Analysis on Neuro-Symbolic Learning
di: He, Hao-Yuan, et al.
Pubblicazione: (2025)
di: He, Hao-Yuan, et al.
Pubblicazione: (2025)
A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
di: Zhou, Zhi, et al.
Pubblicazione: (2025)
di: Zhou, Zhi, et al.
Pubblicazione: (2025)
GRAIL: Autonomous Concept Grounding for Neuro-Symbolic Reinforcement Learning
di: Shindo, Hikaru, et al.
Pubblicazione: (2026)
di: Shindo, Hikaru, et al.
Pubblicazione: (2026)
Neuro-Symbolic Rule Lists
di: Xu, Sascha, et al.
Pubblicazione: (2024)
di: Xu, Sascha, et al.
Pubblicazione: (2024)
Conformal Correction for Efficiency May be at Odds with Entropy
di: Xu, Senrong, et al.
Pubblicazione: (2025)
di: Xu, Senrong, et al.
Pubblicazione: (2025)
Neuro-symbolic Weak Supervision: Theory and Semantics
di: Upreti, Nijesh, et al.
Pubblicazione: (2025)
di: Upreti, Nijesh, et al.
Pubblicazione: (2025)
Neuro-Symbolic Generative Diffusion Models for Physically Grounded, Robust, and Safe Generation
di: Christopher, Jacob K., et al.
Pubblicazione: (2025)
di: Christopher, Jacob K., et al.
Pubblicazione: (2025)
Task Abstention for Large Language Models in Code Generation
di: Zhou, Yanke, et al.
Pubblicazione: (2026)
di: Zhou, Yanke, et al.
Pubblicazione: (2026)
Neuro-symbolic Action Masking for Deep Reinforcement Learning
di: Han, Shuai, et al.
Pubblicazione: (2026)
di: Han, Shuai, et al.
Pubblicazione: (2026)
Bridging Internal Probability and Self-Consistency for Effective and Efficient LLM Reasoning
di: Zhou, Zhi, et al.
Pubblicazione: (2025)
di: Zhou, Zhi, et al.
Pubblicazione: (2025)
Explainable Diagnosis Prediction through Neuro-Symbolic Integration
di: Lu, Qiuhao, et al.
Pubblicazione: (2024)
di: Lu, Qiuhao, et al.
Pubblicazione: (2024)
Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
di: Tao, Lue, et al.
Pubblicazione: (2023)
di: Tao, Lue, et al.
Pubblicazione: (2023)
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
di: Hu, Wen-Chao, et al.
Pubblicazione: (2024)
di: Hu, Wen-Chao, et al.
Pubblicazione: (2024)
Fair Conformal Classification via Learning Representation-Based Groups
di: Xu, Senrong, et al.
Pubblicazione: (2026)
di: Xu, Senrong, et al.
Pubblicazione: (2026)
Learning Neuro-symbolic Programs for Language Guided Robot Manipulation
di: Kalithasan, Namasivayam, et al.
Pubblicazione: (2022)
di: Kalithasan, Namasivayam, et al.
Pubblicazione: (2022)
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
di: Zhang, Yuchen, et al.
Pubblicazione: (2025)
di: Zhang, Yuchen, et al.
Pubblicazione: (2025)
Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
di: Labre, Marcelo
Pubblicazione: (2026)
di: Labre, Marcelo
Pubblicazione: (2026)
Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
di: Shahid, Mahnoor, et al.
Pubblicazione: (2026)
di: Shahid, Mahnoor, et al.
Pubblicazione: (2026)
Neuro-Symbolic AI: Explainability, Challenges, and Future Trends
di: Zhang, Xin, et al.
Pubblicazione: (2024)
di: Zhang, Xin, et al.
Pubblicazione: (2024)
Bridging the Gap: Representation Spaces in Neuro-Symbolic AI
di: Zhang, Xin, et al.
Pubblicazione: (2024)
di: Zhang, Xin, et al.
Pubblicazione: (2024)
Simple and Effective Transfer Learning for Neuro-Symbolic Integration
di: Daniele, Alessandro, et al.
Pubblicazione: (2024)
di: Daniele, Alessandro, et al.
Pubblicazione: (2024)
The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning
di: Cunnington, Daniel, et al.
Pubblicazione: (2024)
di: Cunnington, Daniel, et al.
Pubblicazione: (2024)
ICON: Invariant Counterfactual Optimization with Neuro-Symbolic Priors for Text-Based Person Search
di: Wang, Xiangyu, et al.
Pubblicazione: (2026)
di: Wang, Xiangyu, et al.
Pubblicazione: (2026)
Neuro-Symbolic Imitation Learning: Discovering Symbolic Abstractions for Skill Learning
di: Keller, Leon, et al.
Pubblicazione: (2025)
di: Keller, Leon, et al.
Pubblicazione: (2025)
Learning for Long-Horizon Planning via Neuro-Symbolic Abductive Imitation
di: Shao, Jie-Jing, et al.
Pubblicazione: (2024)
di: Shao, Jie-Jing, et al.
Pubblicazione: (2024)
BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts
di: Marconato, Emanuele, et al.
Pubblicazione: (2024)
di: Marconato, Emanuele, et al.
Pubblicazione: (2024)
A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic
di: Cotnareanu, Joseph, et al.
Pubblicazione: (2026)
di: Cotnareanu, Joseph, et al.
Pubblicazione: (2026)
Neuro-Symbolic Decoding of Neural Activity
di: Wang, Yanchen, et al.
Pubblicazione: (2026)
di: Wang, Yanchen, et al.
Pubblicazione: (2026)
Uncertainty Quantification for LLM-based Code Generation
di: Xu, Senrong, et al.
Pubblicazione: (2026)
di: Xu, Senrong, et al.
Pubblicazione: (2026)
The KANDY Benchmark: Incremental Neuro-Symbolic Learning and Reasoning with Kandinsky Patterns
di: Lorello, Luca Salvatore, et al.
Pubblicazione: (2024)
di: Lorello, Luca Salvatore, et al.
Pubblicazione: (2024)
A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
di: Bortolotti, Samuele, et al.
Pubblicazione: (2024)
di: Bortolotti, Samuele, et al.
Pubblicazione: (2024)
Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning
di: Singireddy, Suraj, et al.
Pubblicazione: (2023)
di: Singireddy, Suraj, et al.
Pubblicazione: (2023)
Advanced Weakly-Supervised Formula Exploration for Neuro-Symbolic Mathematical Reasoning
di: Wu, Yuxuan, et al.
Pubblicazione: (2025)
di: Wu, Yuxuan, et al.
Pubblicazione: (2025)
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
di: Liu, Xiaoyang, et al.
Pubblicazione: (2026)
di: Liu, Xiaoyang, et al.
Pubblicazione: (2026)
VAR-MATH: Probing True Mathematical Reasoning in LLMS via Symbolic Multi-Instance Benchmarks
di: Yao, Jian, et al.
Pubblicazione: (2025)
di: Yao, Jian, et al.
Pubblicazione: (2025)
Documenti analoghi
-
Neuro-symbolic Learning Yielding Logical Constraints
di: Li, Zenan, et al.
Pubblicazione: (2024) -
Learning with Logical Constraints but without Shortcut Satisfaction
di: Li, Zenan, et al.
Pubblicazione: (2024) -
Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
di: He, Baoding, et al.
Pubblicazione: (2026) -
Neuro-Symbolic Data Generation for Math Reasoning
di: Li, Zenan, et al.
Pubblicazione: (2024) -
Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
di: Marconato, Emanuele, et al.
Pubblicazione: (2025)