Jingxuan He - RankMe

46 papers A* 16Journal 25Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Framework for Formalizing LLM Agent Security. CoRR Vincent Siu, Jingxuan He, Kyle Montgomery, Zhun Wang, Neil Gong, Chenguang Wang, Dawn Song
2026	J	`jnl`	Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification. Commun. ACM Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song
2026	J	`jnl`	OpenSage: Self-programming Agent Generation Engine. CoRR Hongwei Li, Zhun Wang, Qinrun Dai, Yuzhou Nie, Jinjun Peng, Ruitong Liu, Jingyang Zhang, Kaijie Zhu, Jingxuan He, Lun Wang, Yangruibo Ding, Yueqi Chen, Wenbo Guo, Dawn Song
2026	J	`jnl`	SecCodePRM: A Process Reward Model for Code Security. CoRR Weichen Yu, Ravi Mangal, Yinyi Luo, Kai Hu, Jingxuan He, Corina S. Pasareanu, Matt Fredrikson
2025	A*	`conf`	BaxBench: Can LLMs Generate Correct and Secure Backends? ICML Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev
2025	J	`jnl`	BaxBench: Can LLMs Generate Correct and Secure Backends? CoRR Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanovic, Jingxuan He, Martin T. Vechev
2025	A*	`conf`	Black-Box Adversarial Attacks on LLM-Based Code Completion. ICML Slobodan Jenko, Niels Mündler, Jingxuan He, Mark Vero, Martin T. Vechev
2025	J	`jnl`	CyberGym: Evaluating AI Agents' Cybersecurity Capabilities with Real-World Vulnerabilities at Scale. CoRR Zhun Wang, Tianneng Shi, Jingxuan He, Matthew Cai, Jialin Zhang, Dawn Song
2025	A*	`conf`	Efficient Skyline Frequent-Utility Itemset Mining Algorithm on Massive Data (Extended abstract). ICDE Jingxuan He, Xixian Han, Xiaolong Wan, Jinbao Wang
2025	A*	`conf`	Mind the Gap: A Practical Attack on GGUF Quantization. ICML Kazuki Egashira, Robin Staab, Mark Vero, Jingxuan He, Martin T. Vechev
2025	J	`jnl`	Mind the Gap: A Practical Attack on GGUF Quantization. CoRR Kazuki Egashira, Robin Staab, Mark Vero, Jingxuan He, Martin T. Vechev
2025	J	`jnl`	PoseGen: In-Context LoRA Finetuning for Pose-Controllable Long Human Video Generation. CoRR Jingxuan He, Busheng Su, Finn Wong
2025	—	`conf`	Position: Formal Mathematical Reasoning - A New Frontier in AI. ICML (Position Papers) Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song
2025	J	`jnl`	Progent: Programmable Privilege Control for LLM Agents. CoRR Tianneng Shi, Jingxuan He, Zhun Wang, Linyu Wu, Hongwei Li, Wenbo Guo, Dawn Song
2025	J	`jnl`	Reasoning Models Can Be Effective Without Thinking. CoRR Wenjie Ma, Jingxuan He, Charlie Snell, Tyler Griggs, Sewon Min, Matei Zaharia
2025	J	`jnl`	Type-Constrained Code Generation with Language Models. CoRR Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin T. Vechev
2025	J	`jnl`	Type-Constrained Code Generation with Language Models. Proc. ACM Program. Lang. Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin T. Vechev
2025	J	`jnl`	VERINA: Benchmarking Verifiable Code Generation. CoRR Zhe Ye, Zhengxu Yan, Jingxuan He, Timothe Kasriel, Kaiyu Yang, Dawn Song
2024	—	`conf`	Auxiliary Diagnosis of Coronary Heart Disease Based on Tongue Features. ISAIMS Zhijun Li, Jiaojiao Qin, Haixia Li, Jingxuan He
2024	J	`jnl`	Code Agents are State of the Art Software Testers. CoRR Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin T. Vechev
2024	J	`jnl`	Efficient Skyline Frequent-Utility Itemset Mining Algorithm on Massive Data. IEEE Trans. Knowl. Data Eng. Jingxuan He, Xixian Han, Xiaolong Wan, Jinbao Wang
2024	A*	`conf`	Exploiting LLM Quantization. NeurIPS Kazuki Egashira, Mark Vero, Robin Staab, Jingxuan He, Martin T. Vechev
2024	J	`jnl`	Exploiting LLM Quantization. CoRR Kazuki Egashira, Mark Vero, Robin Staab, Jingxuan He, Martin T. Vechev
2024	J	`jnl`	Formal Mathematical Reasoning: A New Frontier in AI. CoRR Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song
2024	A*	`conf`	Instruction Tuning for Secure Code Generation. ICML Jingxuan He, Mark Vero, Gabriela Krasnopolska, Martin T. Vechev
2024	J	`jnl`	Instruction Tuning for Secure Code Generation. CoRR Jingxuan He, Mark Vero, Gabriela Krasnopolska, Martin T. Vechev
2024	—	`—`	Machine Learning for Code: Security and Reliability. Jingxuan He
2024	J	`jnl`	Practical Attacks against Black-box Code Completion Engines. CoRR Slobodan Jenko, Jingxuan He, Niels Mündler, Mark Vero, Martin T. Vechev
2024	A*	`conf`	SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents. NeurIPS Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin T. Vechev
2024	A*	`conf`	Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation. ICLR Niels Mündler, Jingxuan He, Slobodan Jenko, Martin T. Vechev
2023	J	`jnl`	Controlling Large Language Models to Generate Secure and Vulnerable Code. CoRR Jingxuan He, Martin T. Vechev
2023	J	`jnl`	Fast and Stable Detection Scheme of Point of Common Coupling Voltage for Renewable Energy Systems Tied to Distortion Grids. IEEE Trans. Ind. Informatics Liancheng Xiu, Jingxuan He, Mingxian Li, Hanliang Song
2023	A*	`conf`	Large Language Models for Code: Security Hardening and Adversarial Testing. CCS Jingxuan He, Martin T. Vechev
2023	J	`jnl`	Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation. CoRR Niels Mündler, Jingxuan He, Slobodan Jenko, Martin T. Vechev
2022	J	`jnl`	Efficient Skyline Computation on Massive Incomplete Data. Data Sci. Eng. Jingxuan He, Xixian Han
2022	J	`jnl`	Efficient high-utility occupancy itemset mining algorithm on massive data. Expert Syst. Appl. Jingxuan He, Xixian Han, Jinbao Wang, Kaiqi Zhang
2022	A*	`conf`	On Distribution Shift in Learning-based Bug Detectors. ICML Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev
2022	J	`jnl`	On Distribution Shift in Learning-based Bug Detectors. CoRR Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev
2021	A*	`conf`	Learning to Explore Paths for Symbolic Execution. CCS Jingxuan He, Gishor Sivanrupan, Petar Tsankov, Martin T. Vechev
2021	A*	`conf`	Learning to find naming issues with big code and small supervision. PLDI Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev
2021	A*	`conf`	TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer. ICML Berkay Berabi, Jingxuan He, Veselin Raychev, Martin T. Vechev
2020	A*	`conf`	Learning fast and precise numerical analysis. PLDI Jingxuan He, Gagandeep Singh, Markus Püschel, Martin T. Vechev
2019	—	`conf`	A Novel Binary Particle Swarm Optimization for Multiple Sequence Alignment. ICIC (2) Yanlian Du, Jingxuan He, Changcun Du
2019	A*	`conf`	Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. CCS Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev
2019	—	`conf`	Research on Ultrasonic Positioning Algorithm. ICSCA Jingxuan He, Jian Zhang, Zeji Hui
2018	A*	`conf`	Debin: Predicting Debug Information in Stripped Binaries. CCS Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin T. Vechev