Hangyu Li
4 indexed papers
Publications per year
Top categories
Frequent co-authors
Research Timeline
The paper introduces FedRAG, a novel federated RAG framework that enables privacy-preserving cross-institutional knowledge collaboration by decoupling the self-attention mechanism from data localization using a specialized scrambling protocol.
The paper proposes a pose-conditioned, permutation-equivariant denoiser to accurately reconstruct work zone geometry using noisy Ultra-Wideband (UWB) range data from connected and autonomous vehicles (CAVs).
This paper proposes a semi-supervised framework, RepG, for conditional generative modeling using stochastic interpolation and low-dimensional latent representations.
ETAS is a programming language for agent systems that separates deterministic computation from agentic nondeterminism and provides a foundation for reasoning about authorization, nondeterminism, recovery, and audit evidence.
Papers
ETAS: An Effect-Typed Language for Agent Systems
Huiri Tan, Yikun Wang, Puyang Zhang, Shangyu Li +1 more
ETAS is a programming language for agent systems that separates deterministic computation from agentic nondeterminism and provides a foundation for reasoning about authorization, nondeterminism, recov…