Mengting He

23 papers A* 1Journal 13Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction.
CoRR
Shihao Xia, Mengting He, Haomin Jia, Linhai Song
2026 J jnl
Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels.
CoRR
Mengting He, Shihao Xia, Haomin Jia, Wenfei Wu, Linhai Song
2025 — conf
Can an AI Chatbot Employ Psychological Counseling Techniques to Motivate Individuals to Receive Vaccinations?
MedInfo
Yan Li, Mengqi Li, Wenze Lu, Mengting He
2025 J jnl
How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs.
IEEE Trans. Software Eng.
Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Yiying Zhang, Linhai Song
2025 J jnl
Oral multi-pathology segmentation with Lead-Assisting Backbone Attention Network and synthetic data generation.
Inf. Fusion
Qiankun Li, Huabao Chen, Xiaolong Huang, Mengting He, Xin Ning, Gang Wang, Feng He
2025 — conf
SC-Bench: A Large-Scale Dataset for Smart Contract Auditing.
LLM4Code@ICSE
Shihao Xia, Mengting He, Linhai Song, Yiying Zhang
2025 J jnl
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models.
CoRR
Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Linhai Song
2024 — conf
AI Governance Network Analysis: From the Perspective of US and EU Policy.
JCDL
Xianrui Liu, Mengting He
2024 J jnl
Adaptive Feature Fusion and Improved Attention Mechanism-Based Small Object Detection for UAV Target Tracking.
IEEE Internet Things J.
Xuanrui Xiong, Mengting He, Tianyu Li, Guifeng Zheng, Wen Xu, Xiaolin Fan, Yuan Zhang
2024 J jnl
AuditGPT: Auditing Smart Contracts with ChatGPT.
CoRR
Shihao Xia, Shuai Shao, Mengting He, Tingting Yu, Linhai Song, Yiying Zhang
2024 A* conf
BOURNE: Bootstrapped Self-Supervised Learning Framework for Unified Graph Anomaly Detection.
ICDE
Jie Liu, Mengting He, Xuequn Shang, Jieming Shi, Bin Cui, Hongzhi Yin
2024 J jnl
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs.
CoRR
Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Linhai Song, Yiying Zhang
2024 J jnl
SC-Bench: A Large-Scale Dataset for Smart Contract Auditing.
CoRR
Shihao Xia, Mengting He, Linhai Song, Yiying Zhang
2023 J jnl
A deep cross-modal neural cognitive diagnosis framework for modeling student performance.
Expert Syst. Appl.
Lingyun Song, Mengting He, Xuequn Shang, Chen Yang, Jun Liu, Mengzhen Yu, Yu Lu
2023 J jnl
BOURNE: Bootstrapped Self-supervised Learning Framework for Unified Graph Anomaly Detection.
CoRR
Jie Liu, Mengting He, Xuequn Shang, Jieming Shi, Bin Cui, Hongzhi Yin
2023 J jnl
Imbalanced Node Classification Beyond Homophilic Assumption.
CoRR
Jie Liu, Mengting He, Guangtao Wang, Nguyen Quoc Viet Hung, Xuequn Shang, Hongzhi Yin
2022 — conf
Whether Science and Technology Finance Policy Ease Firms' Financing Constraints?: -Empirical Evidence from Chinese GEM Listed Companies.
ICCMB
Qinyu Li, Jun Shen, Mengting He
2020 J jnl
Profiling Analysis of Web of Science Journal Articles on Intellectual Property.
Data Inf. Manag.
Congjing Ran, Mengting He, Le Yang
2019 — conf
Evaluation System for Reasoning Description of Judgment Documents Based on TensorFlow CNN.
ICPCSEE (1)
Mengting He, Zhongyue Li, Yanshu Wei, Jidong Ge, Peitang Ling, Chuanyi Li, Ting Lei, Bin Luo
2019 — conf
Statute Recommendation Based on Word Embedding.
ICPCSEE (1)
Peitang Ling, Zian Wang, Yi Feng, Jidong Ge, Mengting He, Chuanyi Li, Bin Luo
2018 — conf
Establish Evidence Chain Model on Chinese Criminal Judgment Documents Using Text Similarity Measure.
ICPCSEE (2)
Yixuan Dong, Yemao Zhou, Chuanyi Li, Jidong Ge, Yali Han, Mengting He, Dekuan Liu, Xiaoyu Zhou, Bin Luo
2018 — conf
Predicting Statutes Based on Causes of Action and Content of Statutes.
ICPCSEE (2)
Zhongyue Li, Chuhan Zhuang, Jidong Ge, Chuanyi Li, Ting Lei, Peitang Ling, Mengting He, Bin Luo
2018 — conf
The Construction Approach of Statutes Database.
ICPCSEE (1)
Linxia Yao, Haojie Huang, Jidong Ge, Simeng Zhao, Peitang Ling, Ting Lei, Mengting He, Bin Luo