Search Results for author: Xuan Xie

Found 4 papers, 2 papers with code

LUNA: A Model-Based Universal Analysis Framework for Large Language Models

no code implementations22 Oct 2023 Da Song, Xuan Xie, Jiayang Song, Derui Zhu, Yuheng Huang, Felix Juefei-Xu, Lei Ma

the trustworthiness perspective, is bound to and enriches the abstract model with semantics, which enables more detailed analysis applications for diverse purposes.

Neuro-Symbolic Verification of Deep Neural Networks

1 code implementation2 Mar 2022 Xuan Xie, Kristian Kersting, Daniel Neider

Formal verification has emerged as a powerful approach to ensure the safety and reliability of deep neural networks.

Adversarial Robustness Fairness

Sampling Policy Design for Tracking Time-Varying Graph Signals with Adaptive Budget Allocation

no code implementations14 Feb 2020 Xuan Xie, Hui Feng, Bo Hu

There have been many works that focus on the sampling set design for a static graph signal, but few for time-varying graph signals (GS).

On Critical Sampling of Time-Vertex Graph Signals

1 code implementation6 Sep 2019 Junhao Yu, Xuan Xie, Hui Feng, Bo Hu

This paper focuses on the fundamental problem of sampling and reconstruction of joint time-vertex graph signals.

Cannot find the paper you are looking for? You can Submit a new open access paper.