会员服务
Neuro-Symbolic Software Verification: Hyper-charging Local Language Models with Symbolic Reasoning at Scale
Arxiv
0+阅读 · 6月15日
Safety, Security, and Cognitive Risks in Neuro-Symbolic AI
Arxiv
0+阅读 · 6月15日
NeRD: Neuro-Symbolic Rule Distillation for Efficient Ontology-Grounded Chain-of-Thought in Medical Image Diagnosis
Arxiv
0+阅读 · 6月16日
A homotopy-type-theoretic generalization of neurosymbolic inference
Arxiv
0+阅读 · 6月16日
A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics
Arxiv
0+阅读 · 6月16日
Driving, Fast or Slow? Neuro-Symbolic Guidance for Motion Prediction in Multi-Modal Ground Mobility
Arxiv
0+阅读 · 6月13日
NeRD: Neuro-Symbolic Rule Distillation for Efficient Ontology-Grounded Chain-of-Thought in Medical Image Diagnosis
Arxiv
0+阅读 · 6月14日
EM-NeSy: Expectation Maximization for Neurosymbolic Learning
Arxiv
0+阅读 · 6月12日
Neuro-Symbolic Predictive Process Monitoring
Arxiv
0+阅读 · 5月29日
ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
Arxiv
0+阅读 · 5月31日
Lemmanaid: Neuro-Symbolic Lemma Conjecturing
Arxiv
0+阅读 · 6月2日
Neuro-symbolic Syntactic Parsing: Shaping a Neural Network with the CYK Algorithm
Arxiv
0+阅读 · 5月29日
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
Arxiv
0+阅读 · 6月7日
Distilling Neuro-Symbolic Programs into 3D Multi-modal LLMs
Arxiv
0+阅读 · 5月31日
Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
Arxiv
0+阅读 · 5月14日
参考链接
微信扫码咨询专知VIP会员
Top