2 papers
cs.AI2026
teLLMe Why (Ain't Nothing but a Jam): Exploratory Causal Analysis of Urban Driving Data
Qiwei Li, Jorge Ortiz
Traffic agencies now have access to large volumes of video-derived data for studying safety and congestion. Most of these data are observational and collected without interventions…
cs.AI2026
TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples
Shuren Xia, Qiwei Li, Taqiya Ehsan +1
We present TraceFix, a verification-first pipeline for Large Language Model (LLM) multi-agent coordination. An agent synthesizes a protocol topology as a structured intermediate re…