2 citations · 3 across the 4 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2024★ 2 cited
VCHAR:Variance-Driven Complex Human Activity Recognition framework with Generative Representation
Yuan Sun, Navid Salami Pargoo, Taqiya Ehsan +2
Complex human activity recognition (CHAR) remains a pivotal challenge within ubiquitous computing, especially in the context of smart environments. Existing studies typically requi…