会员服务
Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning
Arxiv
0+阅读 · 4月5日
Beyond Symbolic Solving: Multi Chain-of-Thought Voting for Geometric Reasoning in Large Language Models
Arxiv
0+阅读 · 4月1日
Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views
Arxiv
0+阅读 · 4月21日
ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning
Arxiv
0+阅读 · 4月7日
Towards Unifying Perceptual Reasoning and Logical Reasoning
Arxiv
0+阅读 · 2月23日
The Reasoning Trap -- Logical Reasoning as a Mechanistic Pathway to Situational Awareness
Arxiv
0+阅读 · 3月10日
LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
Arxiv
0+阅读 · 2月24日
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日
参考链接
微信扫码咨询专知VIP会员
Top