会员服务
Don't Let It Hallucinate: Premise Verification via Retrieval-Augmented Logical Reasoning
Arxiv
0+阅读 · 2月16日
Human-Inspired Neuro-Symbolic World Modeling and Logic Reasoning for Interpretable Safe UAV Landing Site Assessment
Arxiv
0+阅读 · 2月1日
MATRIX AS PLAN: Structured Logical Reasoning with Feedback-Driven Replanning
Arxiv
0+阅读 · 1月15日
A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
Arxiv
0+阅读 · 1月24日
FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
Arxiv
0+阅读 · 1月25日
Teaching Small Language Models to Learn Logic through Meta-Learning
Arxiv
0+阅读 · 1月26日
A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
Arxiv
0+阅读 · 1月21日
REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
Arxiv
0+阅读 · 1月28日
A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic
Arxiv
0+阅读 · 1月26日
Enhancing Vision Language Models with Logic Reasoning for Situational Awareness
Arxiv
0+阅读 · 1月16日
Improving Symbolic Translation of Language Models for Logical Reasoning
Arxiv
0+阅读 · 1月14日
IFDNS: An Iterative Feedback-Driven Neuro-Symbolic Method for Faithful Logical Reasoning
Arxiv
0+阅读 · 1月12日
CodeEval: A pedagogical approach for targeted evaluation of code-trained Large Language Models
Arxiv
0+阅读 · 1月6日
Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
Arxiv
0+阅读 · 1月6日
SLR: Automated Synthesis for Scalable Logical Reasoning
Arxiv
0+阅读 · 1月6日
参考链接
微信扫码咨询专知VIP会员
Top