Jingxuan He

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 31

Top Topics

Semantic Segmentation

Top Venues

Publications

Jingxuan He, Lechao Cheng, Chaowei Fang, Zunlei Feng, Tingting Mu, Mingli Song
Progressive Feature Self-Reinforcement for Weakly Supervised Semantic Segmentation. AAAI (2024)
Jingxuan He, Mark Vero, Gabriela Krasnopolska, Martin T. Vechev
Instruction Tuning for Secure Code Generation. CoRR (2024)
Kazuki Egashira, Mark Vero, Robin Staab, Jingxuan He, Martin T. Vechev
Exploiting LLM Quantization. CoRR (2024)
Jiyang Li, Lechao Cheng, Zhangye Wang, Tingting Mu, Jingxuan He
LoopGaussian: Creating 3D Cinemagraph with Multi-view Images via Eulerian Motion Field. CoRR (2024)
Jingxuan He, Xixian Han, Xiaolong Wan, Jinbao Wang
Efficient Skyline Frequent-Utility Itemset Mining Algorithm on Massive Data. IEEE Trans. Knowl. Data Eng. 36 (7) (2024)
Niels Mündler, Jingxuan He, Slobodan Jenko, Martin T. Vechev
Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation. ICLR (2024)
Fangwen Wu, Jingxuan He, Yufei Yin, Yanbin Hao, Gang Huang, Lechao Cheng
Masked Collaborative Contrast for Weakly Supervised Semantic Segmentation. WACV (2024)
Niels Mündler, Mark Niklas Müller, Jingxuan He, Martin T. Vechev
Code Agents are State of the Art Software Testers. CoRR (2024)
Niels Mündler, Jingxuan He, Slobodan Jenko, Martin T. Vechev
Self-contradictory Hallucinations of Large Language Models: Evaluation, Detection and Mitigation. CoRR (2023)
Liancheng Xiu, Jingxuan He, Mingxian Li, Hanliang Song
Fast and Stable Detection Scheme of Point of Common Coupling Voltage for Renewable Energy Systems Tied to Distortion Grids. IEEE Trans. Ind. Informatics 19 (7) (2023)
Fangwen Wu, Jingxuan He, Lechao Cheng, Yufei Yin, Yanbin Hao, Gang Huang
Masked Collaborative Contrast for Weakly Supervised Semantic Segmentation. CoRR (2023)
Jingxuan He, Martin T. Vechev
Controlling Large Language Models to Generate Secure and Vulnerable Code. CoRR (2023)
Zerun Liu, Fan Zhang, Jingxuan He, Jin Wang, Zhangye Wang, Lechao Cheng
Text-Guided Mask-Free Local Image Retouching. ICME (2023)
Jingxuan He, Martin T. Vechev
Large Language Models for Code: Security Hardening and Adversarial Testing. CCS (2023)
Jingxuan He, Lechao Cheng, Chaowei Fang, Dingwen Zhang, Zhangye Wang, Wei Chen
Mitigating Undisciplined Over-Smoothing in Transformer for Weakly Supervised Semantic Segmentation. CoRR (2023)
Jingxuan He, Lechao Cheng, Chaowei Fang, Zunlei Feng, Tingting Mu, Mingli Song
Progressive Feature Self-reinforcement for Weakly Supervised Semantic Segmentation. CoRR (2023)
Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev
On Distribution Shift in Learning-based Bug Detectors. CoRR (2022)
Jingxuan He, Xixian Han
Efficient Skyline Computation on Massive Incomplete Data. Data Sci. Eng. 7 (2) (2022)
Zerun Liu, Fan Zhang, Jingxuan He, Jin Wang, Zhangye Wang, Lechao Cheng
Text-guided mask-free local image retouching. CoRR (2022)
Jingxuan He, Luca Beurer-Kellner, Martin T. Vechev
On Distribution Shift in Learning-based Bug Detectors. ICML (2022)
Jingxuan He, Xixian Han, Jinbao Wang, Kaiqi Zhang
Efficient high-utility occupancy itemset mining algorithm on massive data. Expert Syst. Appl. 210 (2022)
Berkay Berabi, Jingxuan He, Veselin Raychev, Martin T. Vechev
TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer. ICML (2021)
Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin T. Vechev
Learning to find naming issues with big code and small supervision. PLDI (2021)
Jingxuan He, Gishor Sivanrupan, Petar Tsankov, Martin T. Vechev
Learning to Explore Paths for Symbolic Execution. CCS (2021)
Jingxuan He, Gagandeep Singh, Markus Püschel, Martin T. Vechev
Learning fast and precise numerical analysis. PLDI (2020)
Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. CCS (2019)
Yanlian Du, Jingxuan He, Changcun Du
A Novel Binary Particle Swarm Optimization for Multiple Sequence Alignment. ICIC (2) (2019)
Jingxuan He, Jian Zhang, Zeji Hui
Research on Ultrasonic Positioning Algorithm. ICSCA (2019)
Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin T. Vechev
Debin: Predicting Debug Information in Stripped Binaries. CCS (2018)
Wei Chen, Junhua Lu, Dingke Kong, Zhiqi Liu, Yandi Shen, Yinyin Chen, Jingxuan He, Shu Liu, Ye Qi, Yingcai Wu
GameLifeVis: visual analysis of behavior evolutions in multiplayer online games. J. Vis. 20 (3) (2017)
Zhiqi Liu, Yandi Shen, Junhua Lu, Dingke Kong, Yinyin Chen, Jingxuan He, Shu Liu, Ye Qi, Wei Chen
Visual Exploration of Virtual Lives in Multiplayer Online Games. Edutainment (2016)