Jingxuan He
Scholar

Jingxuan He

Google Scholar ID: ylHZY58AAAAJ
UC Berkeley
SecurityMachine LearningProgramming Languages
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,535
 
H-index
13
 
i10-index
14
 
Publications
20
 
Co-authors
5
list available
Contact
No contact links provided.
Publications
17 items
SecPI: Secure Code Generation with Reasoning Models via Security Reasoning Internalization
2026
Cited
0
A Framework for Formalizing LLM Agent Security
2026
Cited
0
OpenSage: Self-programming Agent Generation Engine
2026
Cited
0
SecCodePRM: A Process Reward Model for Code Security
2026
Cited
0
PoseGen: In-Context LoRA Finetuning for Pose-Controllable Long Human Video Generation
2025
Cited
0
SplitGaussian: Reconstructing Dynamic Scenes via Visual Geometry Decomposition
2025
Cited
0
CyberGym: Evaluating AI Agents' Cybersecurity Capabilities with Real-World Vulnerabilities at Scale
2025
Cited
0
VERINA: Benchmarking Verifiable Code Generation
2025
Cited
0
Resume (English only)
Co-authors
5 total
Martin Vechev
Martin Vechev
Full Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT, Sofia University
Veselin Raychev
Veselin Raychev
ETH Zurich
Co-author 3
Co-author 3
Dawn Song
Dawn Song
Professor of Computer Science, UC Berkeley
Gagandeep Singh
Gagandeep Singh
Assistant Professor, Department of Computer Science, UIUC