Author

Shuangjie Yao

Observed name: Yao, Shuangjie

Institutions: Hong Kong University of Science and Technology, Columbia University

Observed institutions: Hong Kong University of Science and Technology, Columbia University

OpenAlex ID: A5153600405

Cheap to Hypothesize, Costly to Verify: The Defense Surface of Agentic Vulnerability Discovery

2026 · Zhang, Kaikai, Zhang, Zihan, et al. · arXiv (Cornell University) · 1

Similarity Is Not Validity: Defending LLM Semantic Caches Against Poisoning

2026 · Zhang, Zihan, Yao, Shuangjie, et al. · arXiv (Cornell University) · 1

LEVER: Adaptive Cost-Aware Proof Search Over AND/OR Graphs

2026 · Jain, Nihal, Yao, Shuangjie, et al. · arXiv (Cornell University)

Cost-Efficient Theorem Proving via Agent Orchestration in Program Verification

2026 · Yao, Shuangjie, Holzer, Nikolaus, et al. · arXiv (Cornell University)

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

2026 · Yao, Shuangjie, Wang, Hao, et al. · arXiv (Cornell University)

Works count: 5

Citation count: 2

H-index: 1

I10-index: