conftrace_

correctness verification

5 papers

Explore in graph

Co-occurring keywords

temporal logic (105) formal verification (284) step-wise decoding (1) state management (3) packet processing latency (1) nf chain (1) liveness property (2) probabilistic analysis (14) chain of thought (285) multi-step reasoning (150)

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