conftrace_

correctness verification

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

temporal logic (2) formal verification (2) state management (1) packet processing latency (1) nf chain (1) liveness property (1) probabilistic analysis (1) chain of thought (1) multi-step reasoning (1) sensor error (1)

Papers

Why Uncertainty Estimation Methods Fall Short in RAG: An Axiomatic Analysis ACL 2025 Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024 GRACE: Discriminator-Guided Chain-of-Thought Reasoning EMNLP 2023 Correctness and Performance for Stateful Chained Network Functions NSDI 2019 Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error RSS 2011