conftrace_

soundness guarantee

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic soundness (1) entailment stability (1) large language model (1) statistical guarantee (1) reasoning chain (1) explainable artificial intelligence (1) trustworthy ai (1) probabilistic framework (1) error detection (1) formal verification (1)

Papers

Probabilistic Soundness Guarantees in LLM Reasoning Chains EMNLP 2025 Delivering Trustworthy AI through Formal XAI AAAI 2022