20 citations · 77 across the 19 of their papers we have counts for
4 papers · 1 filter
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models
Liang Zhang, Nathaniel Xu, Pengfei Yang +3
Robust pedestrian trajectory forecasting is crucial to developing safe autonomous vehicles. Although previous works have studied adversarial robustness in the context of trajectory…
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation
Xiaowei Huang, Wenjie Ruan, Wei Huang +14
Large Language Models (LLMs) have exploded a new heatwave of AI for their ability to engage end-users in human-level conversations with detailed and articulate answers across many…
Randomized Adversarial Training via Taylor Expansion
Gaojie Jin, Xinping Yi, Dengyu Wu +2
In recent years, there has been an explosion of research into developing more robust deep neural networks against adversarial examples. Adversarial training appears as one of the m…
Optimising Event-Driven Spiking Neural Network with Regularisation and Cutoff
Dengyu Wu, Gaojie Jin, Han Yu +2
Spiking neural network (SNN), as the next generation of artificial neural network (ANN), offer a closer mimicry of natural neural networks and hold promise for significant improvem…