conftrace_

real-time verification

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) forwarding behavior (2) data plane (2) network verification (2) factual accuracy (2) streaming verification (1) token refinement (1) language model optimization (1) packet forwarding (1) access control list (1)

Papers

DSVD: Dynamic Self-Verify Decoding for Faithful Generation in Large Language Models EMNLP 2025 Efficient Real-time Refinement of Language Model Text Generation EMNLP 2025 APKeep: Realtime Verification for Real Networks NSDI 2020 Delta-net: Real-time Network Verification Using Atoms NSDI 2017