Yueling Zhang - RankMe

37 papers A* 6A 2C 1Misc 1Journal 15Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Study of In-Context-Learning-Based Text-to-SQL Errors. CoRR Jiawei Shen, Chengcheng Wan, Ruoyi Qiao, Jiazhen Zou, Hang Xu, Yuchen Shao, Yueling Zhang, Weikai Miao, Geguang Pu
2025	A*	`conf`	HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions. ICSE Lingfeng Zhang, Zhaohui Wang, Yueling Zhang, Min Zhang, Jiangtao Wang
2025	—	`conf`	IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving. ICSE Companion Qichang Wang, Chuyang Chen, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, Geguang Pu
2025	—	`conf`	Runtime Verification of Tactical Data Link. ISSREW Qian Wang, Zhiyuan Hu, Wei Ma, Qiang Chen, Yueling Zhang, Geguang Pu
2024	—	`conf`	A Lightweight Model Solution for Aluminum Material Defect Detection at the Edge. SIES Zhengzhou Chen, Jinhao Liang, Yueling Zhang, Jiangtao Wang, Qing Zhang, Gang Xu
2024	—	`conf`	CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. ICANN (1) Simiao Zhang, Jitao Bai, Menghong Guan, Yueling Zhang, Jun Sun, Yihao Huang, Jiaping Wang, Chengcheng Wan, Ting Su, Geguang Pu
2024	A*	`conf`	Double Variance Reduction: A Smoothing Trick for Composite Optimization Problems without First-Order Gradient. ICML Hao Di, Haishan Ye, Yueling Zhang, Xiangyu Chang, Guang Dai, Ivor W. Tsang
2024	J	`jnl`	Double Variance Reduction: A Smoothing Trick for Composite Optimization Problems without First-Order Gradient. CoRR Hao Di, Haishan Ye, Yueling Zhang, Xiangyu Chang, Guang Dai, Ivor W. Tsang
2024	J	`jnl`	Experimenting a New Programming Practice with LLMs. CoRR Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang, Geguang Pu
2024	A*	`conf`	FIPSER: Improving Fairness Testing of DNN by Seed Prioritization. ASE Junwei Chen, Yueling Zhang, Lingfeng Zhang, Min Zhang, Chengcheng Wan, Ting Su, Geguang Pu
2024	—	`conf`	S3DA: A 3D Point Cloud Based PCB Solder Defect Detection Algorithm. SFPVV Yilongfei Xu, Zhewei Wang, Jinhao Liang, Yueling Zhang, Jincao Feng, Weikai Miao, Jiangtao Wang, Geguang Pu
2023	A*	`conf`	Boosting Verified Training for Robust Image Classifications via Abstraction. CVPR Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
2023	J	`jnl`	Boosting Verified Training for Robust Image Classifications via Abstraction. CoRR Zhaodi Zhang, Zhiyi Xue, Yang Chen, Si Liu, Yueling Zhang, Jing Liu, Min Zhang
2023	—	`conf`	OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. TACAS (1) Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang
2023	J	`jnl`	OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks. CoRR Xingwu Guo, Ziwei Zhou, Yueling Zhang, Guy Katz, Min Zhang
2023	J	`jnl`	Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework. CoRR Simiao Zhang, Jitao Bai, Menghong Guan, Yihao Huang, Yueling Zhang, Jun Sun, Geguang Pu
2022	J	`jnl`	A refinement development approach for enhancing the safety of PLC programs with Event-B. Sci. Comput. Program. Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li
2022	J	`jnl`	AI-enabled Automatic Multimodal Fusion of Cone-Beam CT and Intraoral Scans for Intelligent 3D Tooth-Bone Reconstruction and Clinical Applications. CoRR Jin Hao, Jiaxiang Liu, Jin Li, Wei Pan, Ruizhe Chen, Huimin Xiong, Kaiwei Sun, Hangzheng Lin, Wanlu Liu, Wanghui Ding, Jianfei Yang, Haoji Hu, Yueling Zhang, Yang Feng, Zeyu Zhao, Huikai Wu, Youyi Zheng, Bing Fang, Zuozhu Liu, Zhihe Zhao
2022	—	`conf`	Knowledge Graph of Artificial Intelligence in Medicine: A Scientometric Analysis. DSC Jinlei Liu, Wenchao Dan, Nuo Cheng, Wenjing Lian, Peirong Qu, Hui Zhang, Yueling Zhang, Jie Wang
2022	J	`jnl`	Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. IEEE Trans. Ind. Informatics Xia Mao, Xin Li, Yanhong Huang, Jianqi Shi, Yueling Zhang
2021	—	`conf`	Approximated Masked Global Context Network for Skin Lesion Segmentation. ICANN (3) Chunguang Jiang, Yueling Zhang, Jiangtao Wang, Weiting Chen
2021	A	`conf`	Efficient white-box fairness testing through gradient search. ISSTA Lingfeng Zhang, Yueling Zhang, Min Zhang
2021	—	`conf`	Generating Adversarial Examples by Distributed Upsampling. ICONIP (1) Shunkai Zhou, Yueling Zhang, Guitao Cao, Jiangtao Wang
2020	A*	`conf`	Accelerating All-SAT Computation with Short Blocking Clauses. ASE Yueling Zhang, Geguang Pu, Jun Sun
2020	—	`conf`	EdgeAugment: Data Augmentation by Fusing and Filling Edge Maps. ICANN (1) Bangfeng Xia, Yueling Zhang, Weiting Chen, Xiangfeng Wang, Jiangtao Wang
2020	J	`jnl`	Optimizing backbone filtering. Sci. Comput. Program. Yueling Zhang, Min Zhang, Geguang Pu
2020	J	`jnl`	SAT-based explicit LTLf satisfiability checking. Artif. Intell. Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier
2019	J	`jnl`	Generating adversarial examples for DNN using pooling layers. J. Intell. Fuzzy Syst. Yueling Zhang, Geguang Pu, Min Zhang, William Y
2019	A*	`conf`	SAT-Based Explicit LTLf Satisfiability Checking. AAAI Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
2019	C	`conf`	SMTBCF: Efficient Backbone Computing for SMT Formulas. ICFEM Yueling Zhang, Geguang Pu, Min Zhang
2018	J	`jnl`	SAT-based Explicit LTLf Satisfiability Checking. CoRR Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
2018	—	`conf`	Syntax-Guided Termination Analysis. CAV (1) Grigory Fedyukovich, Yueling Zhang, Aarti Gupta
2018	J	`jnl`	Towards backbone computing: A Greedy-Whitening based approach. AI Commun. Yueling Zhang, Min Zhang, Geguang Pu, Fu Song, Jianwen Li
2017	Misc	`conf`	Optimizing backbone filtering. TASE Yueling Zhang, Jianwen Li, Min Zhang, Geguang Pu, Fu Song
2017	A	`conf`	Safety model checking with complementary approximations. ICCAD Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
2016	J	`jnl`	Approximate Reachability. CoRR Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi
2011	—	`conf`	Cloning, expression and characterization of a thermostable pullulanase from newly isolated thermophilic Geobacillus sp. LM14-3. BMEI Shaojing Sun, Fuping Lu, Hui Song, Jianyong Xu, Nan Jiang, Yueling Zhang, Li Li, Tan Ming, Wen Zheng