conftrace_

symbolic verification

7 papers

Explore in graph

Co-occurring keywords · papers mentioning both

epistemic logic (2) symbolic model (1) large language model (1) multi-agent system (1) knowledge state (1) structured knowledge representation (1) reasoning faithfulness (1) neuro-symbolic planning (1) structure-aware planning (1) symbolic implementation (1)

Papers

TrustTable: A Neuro-Symbolic Auditing Framework for Faithful Table QA ACL 2026 Uncovering Hidden Correctness in LLM Causal Reasoning via Symbolic Verification EACL 2026 Breaking the Self-Evaluation Barrier: Reinforced Neuro-Symbolic Planning with Large Language Models IJCAI 2025 Deliberate Reasoning in Language Models as Structure-Aware Planning with an Accurate World Model ACL 2025 Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification ICML 2025 A Novel Symbolic Approach to Verifying Epistemic Properties of Programs IJCAI 2017 Model Checking Multi-Agent Systems against LDLK Specifications IJCAI 2017