Constrained Identifiability of Causal Effects
"逻辑约束" 相关文章
LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
From Grounding to Skolemization: A Logic-Constrained Vector Symbolic Architecture for Complex Query Answering
SymbolicThought: Integrating Language Models and Symbolic Reasoning for Consistent and Interpretable Human Relationship Understanding
LTLCrit: A Temporal Logic-based LLM Critic for Safe and Efficient Embodied Agents
Researchers at UCLA Propose Ctrl-G: A Neurosymbolic Framework that Enables Arbitrary LLMs to Follow Logical Constraints
