He, Jingxuan

22 publications

ICML 2025 BaxBench: Can LLMs Generate Correct and Secure Backends? Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanović, Jingxuan He, Martin Vechev

ICLRW 2025 BaxBench: Can LLMs Generate Correct and Secure Backends? Mark Vero, Niels Mündler, Victor Chibotaru, Veselin Raychev, Maximilian Baader, Nikola Jovanović, Jingxuan He, Martin Vechev

ICML 2025 Black-Box Adversarial Attacks on LLM-Based Code Completion Slobodan Jenko, Niels Mündler, Jingxuan He, Mark Vero, Martin Vechev

ICLRW 2025 Black-Box Adversarial Attacks on LLM-Based Code Completion Slobodan Jenko, Niels Mündler, Jingxuan He, Mark Vero, Martin Vechev

ICML 2025 Mind the Gap: A Practical Attack on GGUF Quantization Kazuki Egashira, Robin Staab, Mark Vero, Jingxuan He, Martin Vechev

ICLRW 2025 Mind the Gap: A Practical Attack on GGUF Quantization Kazuki Egashira, Robin Staab, Mark Vero, Jingxuan He, Martin Vechev

ICML 2025 Position: Formal Mathematical Reasoning—A New Frontier in AI Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song

IJCAI 2025 Shaping a Stabilized Video by Mitigating Unintended Changes for Concept-Augmented Video Editing Mingce Guo, Jingxuan He, Yufei Yin, Zhangye Wang, Shengeng Tang, Lechao Cheng

ICLRW 2025 Type-Constrained Code Generation with Language Models Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin Vechev

ICMLW 2024 Code Agents Are State of the Art Software Testers Niels Mündler, Mark Niklas Mueller, Jingxuan He, Martin Vechev

ICMLW 2024 Code Agents Are State of the Art Software Testers Niels Mündler, Mark Niklas Mueller, Jingxuan He, Martin Vechev

NeurIPS 2024 Exploiting LLM Quantization Kazuki Egashira, Mark Vero, Robin Staab, Jingxuan He, Martin Vechev

ICMLW 2024 Exploiting LLM Quantization Kazuki Egashira, Mark Vero, Robin Staab, Jingxuan He, Martin Vechev

ICML 2024 Instruction Tuning for Secure Code Generation Jingxuan He, Mark Vero, Gabriela Krasnopolska, Martin Vechev

ICLRW 2024 Instruction Tuning for Secure Code Generation Jingxuan He, Mark Vero, Gabriela Krasnopolska, Martin Vechev

WACV 2024 Masked Collaborative Contrast for Weakly Supervised Semantic Segmentation Fangwen Wu, Jingxuan He, Yufei Yin, Yanbin Hao, Gang Huang, Lechao Cheng

AAAI 2024 Progressive Feature Self-Reinforcement for Weakly Supervised Semantic Segmentation Jingxuan He, Lechao Cheng, Chaowei Fang, Zunlei Feng, Tingting Mu, Mingli Song

NeurIPS 2024 SWT-Bench: Testing and Validating Real-World Bug-Fixes with Code Agents Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin Vechev

ICLR 2024 Self-Contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation Niels Mündler, Jingxuan He, Slobodan Jenko, Martin Vechev

ICMLW 2023 Large Language Models for Code: Security Hardening and Adversarial Testing Jingxuan He, Martin Vechev

ICML 2022 On Distribution Shift in Learning-Based Bug Detectors Jingxuan He, Luca Beurer-Kellner, Martin Vechev

ICML 2021 TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer Berkay Berabi, Jingxuan He, Veselin Raychev, Martin Vechev