热点
"逻辑约束" 相关文章
SymbolicThought: Integrating Language Models and Symbolic Reasoning for Consistent and Interpretable Human Relationship Understanding
cs.AI updates on arXiv.org 2025-07-08T06:58:22.000000Z
LTLCrit: A Temporal Logic-based LLM Critic for Safe and Efficient Embodied Agents
cs.AI updates on arXiv.org 2025-07-08T04:33:40.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