3 papers
cs.LG2026
Autoregressive Decoding as a Martingale: Characterizing the Stochastic Dynamics of LLM Generation
Xiahui Zhu, Zhenyi Qi, Wanwei Liu +4
Large language models (LLMs) have achieved remarkable success across a wide range of language tasks. At their core, autoregressive LLMs are conditional probability models that lear…
cs.AI2024
UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
Zhen Liang, Taoran Wu, Ran Zhao +5
Recently, formal verification of deep neural networks (DNNs) has garnered considerable attention, and over-approximation based methods have become popular due to their effectivenes…
cs.AI2022
Safety Verification for Neural Networks Based on Set-boundary Analysis
Zhen Liang, Dejin Ren, Wanwei Liu +3
Neural networks (NNs) are increasingly applied in safety-critical systems such as autonomous vehicles. However, they are fragile and are often ill-behaved. Consequently, their beha…