2 citations · 2 across the 3 of their papers we have counts for
4 papers
Implicit Identity Technologies for LLMs: Fingerprinting and Watermarking across Datasets, Models, and Generated Content
Bing Liu, Shunping Wang, Yufan Zhu +5
This paper presents a survey and taxonomy of LLM fingerprinting and watermarking for identity, ownership verification, provenance, and generated-content attribution. Large language…
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
Yiqi Zhao, Xinyi Yu, Bardh Hoxha +3
Multi-agent systems (MASs) consisting of a number of autonomous agents that communicate, coordinate, and jointly sense the environment to achieve complex missions can be found in a…
Formal Verification and Control with Conformal Prediction
Lars Lindemann, Yiqi Zhao, Xinyi Yu +2
We present recent advances in formal verification and control for autonomous systems with practical safety guarantees enabled by conformal prediction (CP), a statistical tool for u…
Conformal Predictive Programming for Chance Constrained Optimization
Yiqi Zhao, Xinyi Yu, Matteo Sesia +2
We propose conformal predictive programming (CPP), a framework to solve chance constrained optimization problems, i.e., optimization problems with constraints that are functions of…