会员服务
A homotopy-type-theoretic generalization of neurosymbolic inference
Arxiv
0+阅读 · 6月16日
Reasoning in Computer Vision: Taxonomy, Models, Tasks, and Methodologies
Arxiv
0+阅读 · 6月15日
Position: Hippocampal Explicit Memory Is the Cornerstone for AGI
Arxiv
0+阅读 · 6月5日
ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
Arxiv
0+阅读 · 5月26日
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
Arxiv
0+阅读 · 6月7日
Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
Arxiv
0+阅读 · 5月15日
Aligning Quantum Operators with Large Language Models
Arxiv
0+阅读 · 6月11日
Aryabhata 2: Scaling Reinforcement Learning for Advanced STEM Reasoning
Arxiv
0+阅读 · 6月3日
Dsat: A Native SAT Solver for Discrete Logic
Arxiv
0+阅读 · 5月10日
ANSR-DT: A Neuro-Symbolic Framework for Adaptive and Explainable Digital Twins
Arxiv
0+阅读 · 6月11日
Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models
Arxiv
0+阅读 · 5月18日
BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
Arxiv
0+阅读 · 5月3日
CLMN: Concept based Language Models via Neural Symbolic Reasoning
Arxiv
0+阅读 · 3月30日
"Elementary, My Dear Watson." Detecting Malicious Skills via Neuro-Symbolic Reasoning across Heterogeneous Artifacts
Arxiv
0+阅读 · 3月28日
DALI: LLM-Agent Enhanced Dual-Stream Adaptive Leadership Identification for Group Recommendations
Arxiv
0+阅读 · 3月20日
参考链接
微信扫码咨询专知VIP会员
Top