Hello,

My name is Shuangjie Yao and I am a visiting student advised by Suman Jana and Baishakhi Ray at Columbia University, and a third-year Ph.D. candidate advised by Dongdong She at The Hong Kong University of Science and Technology. Before coming to HKUST, I earned my bachelor’s degree at Shanghai Jiao Tong University.

My research interests include program analysis, formal methods and neuro-symbolic AI.

I'm actively seeking research collaborations in AI4Math, AI4Verification and other related topics. If our research interests align, feel free to contact me via email!

Education

Columbia University

Visiting Scholar Apr. 2026 - Aug. 2026

The Hong Kong University of Science and Technology

Ph.D. student Sep. 2024 - | Research Assistant Feb. 2024 - Aug. 2024

Shanghai Jiao Tong University

Bachelor of Engineering in Computer Science and Technology Sep. 2019 - Jun. 2023

Zhiyuan Honor Bachelor Degree

Publication

  • TestJack: Should you trust the results in coding benchmarks? Agentic Coding Benchmarks Auditing via Evaluator Evolution. arXiv. 🔗

    Shuangjie Yao, Hao Wang, Koushik Sen, Simin Chen, Baishakhi Ray, Dawn Song

  • Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification. NeurIPS 2026 Workshop on AI for Verifiable Coding, 2026. 🔗

    Shuangjie Yao, Nikolaus Holzer, Mark Paul Santolucito, Baishakhi Ray, Suman Jana, Dongdong She

  • LEVER: Adaptive Cost-Aware Proof Search Over AND/OR Graphs. NeurIPS 2026 Workshop MATH-AI, 2026; NeurIPS 2026 Workshop on AI for Verifiable Coding, 2026. 🔗

    Nihal Jain, Shuangjie Yao, Begum Cicekdag, Zhuo Zhang, Suman Jana

  • Similarity Is Not Validity: Defending LLM Semantic Caches Against Poisoning. arXiv, 2026. 🔗

    Zihan Zhang, Shuangjie Yao, Zesen Liu, Zhixiang Zhang, Wai Ip Lai, Dung Hiu Hilton Yeung, Chun Kit Zhang, Fuchen Ma, Yuanyuan Yuan, Yu Jiang, Dongdong She

  • Cheap to Hypothesize, Costly to Verify: The Defense Surface of Agentic Vulnerability Discovery. arXiv, 2026. 🔗

    Kaikai Zhang, Zihan Zhang, Yuchong Xie, Zesen Liu, Shuangjie Yao, Zhixiang Zhang, Dongdong She

  • TArCS: Trusted and Attack-Resilient Clock Source with TEE and RDMA. International Symposium on Advanced Parallel Processing Technologies, 2026. 🔗

    Yunpeng Xu, Yuchen Fan, Yu Jin, Shuangjie Yao, Jia Zhang, Teng Ma, Shuwen Deng

  • Empc: Effective Path Prioritization for Symbolic Execution with Path Cover. 46th IEEE Symposium on Security and Privacy (S&P), 2025

    Shuangjie Yao, Dongdong She

    🏆 Distinguished Paper Award

    Paper (DOI, IEEE, arXiv), Code, Slides, Poster

Internship

Alibaba DAMO Academy Alibaba Cloud‍ ‍Aug. 2023 - Jan. 2024

Research Intern

Microsoft Research Asia‍ ‍Jul. 2022 - Jun. 2023

Research Intern

Teaching

COMP 2011: Programming with C++ Spring 2025 (TA)

COMP 1944: AI Ethics Fall 2025 (TA)