Xinyan Gao

According to our database, Xinyan Gao authored at least 13 papers between 2008 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

HiddenDetect: Detecting Jailbreak Attacks against Large Vision-Language Models via Monitoring Hidden States.

Yilei Jiang, Xinyan Gao, Tianshuo Peng, Yingshui Tan, Xiaoyong Zhu, Bo Zheng, Xiangyu Yue

CoRR, February, 2025

FlowBench: Benchmarking Optical Flow Estimation Methods for Reliability and Generalization.

Shashank Agnihotri, Julian Yuya Caspary, Luca Schwarz, Xinyan Gao, Jenny Schmalfuss, Andrés Bruhn, Margret Keuper

Trans. Mach. Learn. Res., 2025

GRAMSSAT: An efficient label inference attack against two-party split learning based on gradient matching and semi-supervised learning.

Lixin Zhang, Xinyan Gao, Bihe Zhao, Zhenyu Guan, Song Bian

J. Inf. Secur. Appl., 2025

HiddenDetect: Detecting Jailbreak Attacks against Multimodal Large Language Models via Monitoring Hidden States.

Yilei Jiang, Xinyan Gao, Tianshuo Peng, Yingshui Tan, Xiaoyong Zhu, Bo Zheng, Xiangyu Yue

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2018

Adaptive Contour Feature and Color Feature Fusion for Monocular Textureless 3D Object Tracking.

Chenglong Li, Xinyan Gao

IEEE Access, 2018

A High Precision and Realtime Physics-Based Hand Interaction for Virtual Instrument Experiment.

Xu Han, Ning Zhou, Xinyan Gao, Anping He

Proceedings of the Data Science, 2018

2014

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions.

Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li

J. Appl. Math., 2014

Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures.

Xinyan Gao, Yingcai Ding, Wenbo Liu, Kaidi Zheng, Siyu Huang, Ning Zhou, Dakui Li

J. Appl. Math., 2014

2013

Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches.

Ning Zhou, Jinzhao Wu, Xinyan Gao

J. Appl. Math., 2013

Wu's Characteristic Set Method for SystemVerilog Assertions Verification.

Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li

J. Appl. Math., 2013

2008

Operational semantics of probabilistic Kleene algebra with tests.

Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Theory framework for event structure slicing.

Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Probabilistic Modal Kleene Algebra and Hoare-Style Logic.

Rui Qiao, Jinzhao Wu, Xinyan Gao

Proceedings of the Fourth International Conference on Natural Computation, 2008