Xinyan Gao

14 papers C 2Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
FlowBench: Benchmarking Optical Flow Estimation Methods for Reliability and Generalization.
Trans. Mach. Learn. Res.
Shashank Agnihotri, Julian Yuya Caspary, Luca Schwarz, Xinyan Gao, Jenny Schmalfuss, Andrés Bruhn, Margret Keuper
2025 J jnl
GRAMSSAT: An efficient label inference attack against two-party split learning based on gradient matching and semi-supervised learning.
J. Inf. Secur. Appl.
Lixin Zhang, Xinyan Gao, Bihe Zhao, Zhenyu Guan, Song Bian
2025 J jnl
HiddenDetect: Detecting Jailbreak Attacks against Large Vision-Language Models via Monitoring Hidden States.
CoRR
Yilei Jiang, Xinyan Gao, Tianshuo Peng, Yingshui Tan, Xiaoyong Zhu, Bo Zheng, Xiangyu Yue
2025 — conf
HiddenDetect: Detecting Jailbreak Attacks against Multimodal Large Language Models via Monitoring Hidden States.
ACL (1)
Yilei Jiang, Xinyan Gao, Tianshuo Peng, Yingshui Tan, Xiaoyong Zhu, Bo Zheng, Xiangyu Yue
2025 J jnl
VisReason: A Large-Scale Dataset for Visual Chain-of-Thought Reasoning.
CoRR
Lingxiao Li, Yifan Wang, Xinyan Gao, Chen Tang, Xiangyu Yue, Chenyu You
2018 — conf
A High Precision and Realtime Physics-Based Hand Interaction for Virtual Instrument Experiment.
ICPCSEE (2)
Xu Han, Ning Zhou, Xinyan Gao, Anping He
2018 J jnl
Adaptive Contour Feature and Color Feature Fusion for Monocular Textureless 3D Object Tracking.
IEEE Access
Chenglong Li, Xinyan Gao
2014 J jnl
Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions.
J. Appl. Math.
Ning Zhou, Xinyan Gao, Jinzhao Wu, Jianchao Wei, Dakui Li
2014 J jnl
Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures.
J. Appl. Math.
Xinyan Gao, Yingcai Ding, Wenbo Liu, Kaidi Zheng, Siyu Huang, Ning Zhou, Dakui Li
2013 J jnl
Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches.
J. Appl. Math.
Ning Zhou, Jinzhao Wu, Xinyan Gao
2013 J jnl
Wu's Characteristic Set Method for SystemVerilog Assertions Verification.
J. Appl. Math.
Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li
2008 C conf
Operational semantics of probabilistic Kleene algebra with tests.
ISCC
Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu
2008 — conf
Probabilistic Modal Kleene Algebra and Hoare-Style Logic.
ICNC (3)
Rui Qiao, Jinzhao Wu, Xinyan Gao
2008 C conf
Theory framework for event structure slicing.
ISCC
Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen