会员服务
VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning
Arxiv
0+阅读 · 1月7日
ChaosBench-Logic: A Benchmark for Logical and Symbolic Reasoning on Chaotic Dynamical Systems
Arxiv
0+阅读 · 1月5日
Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives
Arxiv
0+阅读 · 2025年12月29日
Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives
Arxiv
0+阅读 · 2025年12月21日
Reliable Reasoning Beyond Natural Language
Arxiv
0+阅读 · 2025年12月1日
A Neuro-Symbolic Framework for Reasoning under Perceptual Uncertainty: Bridging Continuous Perception and Discrete Symbolic Planning
Arxiv
0+阅读 · 2025年11月18日
Concept-RuleNet: Grounded Multi-Agent Neurosymbolic Reasoning in Vision Language Models
Arxiv
0+阅读 · 2025年11月13日
Spectral Neuro-Symbolic Reasoning II: Semantic Node Merging, Entailment Filtering, and Knowledge Graph Alignment
Arxiv
0+阅读 · 2025年11月2日
Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives
Arxiv
0+阅读 · 2025年12月14日
参考链接
微信扫码咨询专知VIP会员
Top