Scholar
Jingxuan He
Google Scholar ID: ylHZY58AAAAJ
UC Berkeley
Security
Machine Learning
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,535
H-index
13
i10-index
14
Publications
20
Co-authors
5
list available
Publications
24 items
Vero: Can AI Agents Build Formally Verified Software Repositories?
2026
Cited
0
Agent Security Needs Redefinition through a Holistic Framework
2026
Cited
0
Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code
2026
Cited
0
CyberGym-E2E: Scalable Real-World Benchmark for AI Agents' End-to-End Cybersecurity Capabilities
2026
Cited
0
Early Semantic Grounding in Image Editing Models for Zero-Shot Referring Image Segmentation
2026
Cited
0
ExploitGym: Can AI Agents Turn Security Vulnerabilities into Real Attacks?
2026
Cited
0
Rethinking Where to Edit: Task-Aware Localization for Instruction-Based Image Editing
2026
Cited
0
SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization
2026
Cited
0
Load more
Co-authors
4 total
Martin Vechev
Full Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT, Sofia University
Veselin Raychev
ETH Zurich
Dawn Song
Professor of Computer Science, UC Berkeley
Gagandeep Singh
Assistant Professor, Department of Computer Science, UIUC
