热点
"神经符号框架" 相关文章
Ground-Compose-Reinforce: Tasking Reinforcement Learning Agents through Formal Language
cs.AI updates on arXiv.org 2025-07-16T04:28:55.000000Z
Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces
cs.AI updates on arXiv.org 2025-07-16T04:28:39.000000Z
Bridging Bots: from Perception to Action via Multimodal-LMs and Knowledge Graphs
cs.AI updates on arXiv.org 2025-07-15T04:24:13.000000Z
KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
cs.AI updates on arXiv.org 2025-07-14T04:08:29.000000Z
KEA Explain: Explanations of Hallucinations using Graph Kernel Analysis
cs.AI updates on arXiv.org 2025-07-08T06:58:14.000000Z
Researchers at UCLA Propose Ctrl-G: A Neurosymbolic Framework that Enables Arbitrary LLMs to Follow Logical Constraints
MarkTechPost@AI 2024-06-30T06:31:47.000000Z