Zhaoyu Li

87 papers A* 8A 2B 4C 2Journal 62Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
A multi-objective scheduling method via hybrid-strategy for multiple agile satellites observing area targets.
Expert Syst. Appl.
Peiran Mu, Rui Xu, Bang Wang, Zhaoyu Li, Shengying Zhu, Jiateng Long
2026 J jnl
Carbon emission, footprint and pricing prediction using machine learning: A survey.
Appl. Intell.
Zhaoyu Li, Huanqing Zheng, Xinyi Fan, Zhiyan You, Jiangtao Hu, Yi Xie, Jielei Chu, Tianrui Li
2026 J jnl
Enhancing multi-modal aspect-based sentiment classification via emotional semantic-aware cross-modal relation inference.
Inf. Process. Manag.
Zhaoyu Li, Chen Gong, Guohong Fu
2026 J jnl
HIA-APF: A hierarchical based path planning method for lunar rovers on a partially observable surface.
Robotics Auton. Syst.
Siyao Lu, Rui Xu, Zhaoyu Li, Bang Wang, Shengying Zhu, Ai Gao, Bo Pan, Zhijun Zhao
2026 J jnl
Learning to Disprove: Formal Counterexample Generation with Large Language Models.
CoRR
Zenan Li, Zhaoyu Li, Kaiyu Yang, Xiaoxing Ma, Zhendong Su
2026 J jnl
Mining neural connectivity via spatiotemporal features of neural calcium activity data.
Expert Syst. Appl.
Ye Yuan, Yuheng Du, Wentao Wen, Kuankuan Xin, Hongjiang Liu, Amin Zhang, Shiyan Yang, Zhaoyu Li, Tao Fang, Jian Liu
2026 J jnl
Social signals and visibility on digital platforms: interpretable evidence from steam on what drives player activity.
Entertain. Comput.
Haoran Sun, Mingxi Bie, Zhaoyu Li, Zhaotong Lian
2025 J jnl
A three-dimensional tracking algorithm for efficient construction of the feasible space of tool axis for a conical toroidal-end cutter in five-axis machining.
Comput. Aided Des.
Xiangyu Li, Dong He, Jiancheng Hao, Zhaoyu Li, Xifan Zhang, Takyu Lau, Ziyuan Zhao, Xuehan Wang, Junxue Ren, Kai Tang
2025 — conf
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts.
ACL (1)
Honghua Dong, Qidong Su, Yubo Gao, Zhaoyu Li, Yangjun Ruan, Gennady Pekhimenko, Chris J. Maddison, Xujie Si
2025 J jnl
Accelerating Federated Learning with genetic algorithm enhancements.
Expert Syst. Appl.
Huanqing Zheng, Jielei Chu, Zhaoyu Li, Jinghao Ji, Tianrui Li
2025 J jnl
Adaptive federated class-Incremental learning for reducing catastrophic forgetting.
Expert Syst. Appl.
Zhiyan You, Jielei Chu, Zhaoyu Li, Bin Liu, Tianrui Li
2025 C conf
Advanced Learning-Based Coding Tools for ECM: Intra Prediction and In-Loop Filtering.
ISCAS
Yanchen Zhao, Jiaye Fu, Zhaoyu Li, Qizhe Wang, Zhimeng Huang, Jiaqi Zhang, Chuanmin Jia, Siwei Ma
2025 A* conf
Decoupling Training-Free Guided Diffusion by ADMM.
CVPR
Youyuan Zhang, Zehua Liu, Zenan Li, Zhaoyu Li, James J. Clark, Xujie Si
2025 J jnl
Distributed incremental arc-consistency reasoning method for temporal network in multi-probe collaborative mission planning.
Knowl. Based Syst.
Bang Wang, Rui Xu, Zhaoyu Li, Shengying Zhu, Xiuwei Li
2025 J jnl
FedLGMatch: Federated semi-supervised learning via joint local and global pseudo labeling.
Knowl. Based Syst.
Qing Zhao, Jielei Chu, Zhaoyu Li, Wei Huang, Zhipeng Luo, Tianrui Li
2025 J jnl
Geodesic Distance Field-Based Five-Axis Continuous Sweep Scanning Method for the Multi-Entrance Inwall Surface.
IEEE Trans Autom. Sci. Eng.
Yuzhu Ding, Zhaoyu Li, Dong He, Kai Tang, Pengcheng Hu
2025 B conf
Indoor WiFi Signal Visualization Based on Self-Constructing Heatmap.
GLOBECOM
Hengxin Shang, Yue Jin, Yiwen Wang, Zhaoyu Li, Senlin Liao, Zengshan Tian
2025 A* conf
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning.
ICLR
Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
2025 J jnl
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning.
CoRR
Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
2025 — conf
PyEuclid: A Versatile Formal Plane Geometry System in Python.
CAV (4)
Zhaoyu Li, Hangrui Bi, Jialiang Sun, Zenan Li, Kaiyu Yang, Xujie Si
2025 J jnl
Reinforcement Learning-based five-axis continuous inspection method for complex freeform surface.
Robotics Comput. Integr. Manuf.
Xiaoke Deng, Pengcheng Hu, Zhaoyu Li, Wenze Zhang, Dong He, Yuanzhi Chen
2025 — conf
T-CLOCs: Transformer-Based Camera-LiDAR Decision-level Fusion for Object Detection of Robot in Outdoor
RCAR
Guangze Zhu, Tao Xu, Zhaoyu Li, Jiahui Sun, Xiaohui Yang, Haiyan Shao
2025 J jnl
The roles of feedback loops in the Caenorhabditis elegans rhythmic forward locomotion.
PLoS Comput. Biol.
Peng Zhao, Boyang Wang, Yi Rong, Ye Yuan, Jian Liu, Hong Huo, Zhuyong Liu, Zhaoyu Li, Tao Fang
2025 J jnl
Variational Bayesian Personalized Ranking.
CoRR
Bin Liu, Xiaohong Liu, Qin Luo, Ziqiao Shang, Jielei Chu, Lin Ma, Zhaoyu Li, Fei Teng, Guangtao Zhai, Tianrui Li
2024 J jnl
A Survey on Deep Learning for Theorem Proving.
CoRR
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
2024 J jnl
A mark-based hierarchical asynchronous temporal constraints reasoning algorithm for multi-agent mission planning.
Expert Syst. Appl.
Bang Wang, Rui Xu, Dengyun Yu, Zhaoyu Li, Siyao Lu
2024 J jnl
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts.
CoRR
Honghua Dong, Qidong Su, Yubo Gao, Zhaoyu Li, Yangjun Ruan, Gennady Pekhimenko, Chris J. Maddison, Xujie Si
2024 A* conf
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency.
NeurIPS
Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Xian Zhang, Fan Yang, Xiaoxing Ma
2024 J jnl
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency.
CoRR
Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Xian Zhang, Fan Yang, Xiaoxing Ma
2024 A* conf
Autoformalizing Euclidean Geometry.
ICML
Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
2024 J jnl
Autoformalizing Euclidean Geometry.
CoRR
Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
2024 J jnl
Decoupling Training-Free Guided Diffusion by ADMM.
CoRR
Youyuan Zhang, Zehua Liu, Zenan Li, Zhaoyu Li, James J. Clark, Xujie Si
2024 J jnl
Deep reinforcement learning based planning method in state space for lunar rovers.
Eng. Appl. Artif. Intell.
Ai Gao, Siyao Lu, Rui Xu, Zhaoyu Li, Bang Wang, Shengying Zhu, Yuhui Gao, Bo Pan
2024 J jnl
Dynamic Backtracking in GFlowNets: Enhancing Decision Steps with Reward-Dependent Adjustment Mechanisms.
CoRR
Shuai Guo, Jielei Chu, Lei Zhu, Zhaoyu Li, Tianrui Li
2024 J jnl
Efficient five-axis scanning-inspection path planning for complex freeform surfaces.
Robotics Comput. Integr. Manuf.
Zhaoyu Li, Dong He, Xiangyu Li, Xiaoke Deng, Pengcheng Hu, Jiancheng Hao, Yue Hou, Hongyu Yu, Kai Tang
2024 J jnl
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks.
Trans. Mach. Learn. Res.
Zhaoyu Li, Jinpei Guo, Xujie Si
2024 A* conf
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation.
NeurIPS
Bowen Li, Zhaoyu Li, Qiwei Du, Jinqi Luo, Wenshan Wang, Yaqi Xie, Simon Stepputtis, Chen Wang, Katia P. Sycara, Pradeep Ravikumar, Alexander G. Gray, Xujie Si, Sebastian A. Scherer
2024 J jnl
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation.
CoRR
Bowen Li, Zhaoyu Li, Qiwei Du, Jinqi Luo, Wenshan Wang, Yaqi Xie, Simon Stepputtis, Chen Wang, Katia P. Sycara, Pradeep Kumar Ravikumar, Alexander G. Gray, Xujie Si, Sebastian A. Scherer
2024 J jnl
Neuro-symbolic Learning Yielding Logical Constraints.
CoRR
Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
2023 J jnl
A GNN-based model for capturing spatio-temporal changes in locomotion behaviors of aging
Comput. Biol. Medicine
Ye Yuan, Kuankuan Xin, Jian Liu, Peng Zhao, Man Pok Lu, Yuner Yan, Yuchen Hu, Hong Huo, Zhaoyu Li, Tao Fang
2023 J jnl
Collision-Conscious Multi-Pass Flank Milling of Complicated Parts Based on Stripification.
Comput. Aided Des.
Dong He, Zhaoyu Li, Xiangyu Li, Yamin Li, Kai Tang
2023 J jnl
Five-Axis Trochoidal Sweep Scanning Path Planning for Free-Form Surface Inspection.
IEEE Trans Autom. Sci. Eng.
Zhaoyu Li, Kai Tang, Pengcheng Hu, Lihua Huang
2023 J jnl
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks.
CoRR
Zhaoyu Li, Jinpei Guo, Xujie Si
2023 J jnl
Hierarchical multi-agent planning for flexible assembly of large-scale lunar facilities.
Adv. Eng. Informatics
Rui Xu, Yuting Zhao, Zhaoyu Li, Shengying Zhu, Zixuan Liang, Yue Gao
2023 J jnl
Human-pose estimation based on weak supervision.
Virtual Real. Intell. Hardw.
Xiaoyan Hu, Xizhao Bao, Guoli Wei, Zhaoyu Li
2023 A* conf
Learning Reliable Logical Rules with SATNet.
NeurIPS
Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
2023 J jnl
Learning Reliable Logical Rules with SATNet.
CoRR
Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
2023 J jnl
Multimodal Emotion-Cause Pair Extraction in Conversations.
IEEE Trans. Affect. Comput.
Fanfan Wang, Zixiang Ding, Rui Xia, Zhaoyu Li, Jianfei Yu
2023 A* conf
Neuro-symbolic Learning Yielding Logical Constraints.
NeurIPS
Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
2023 J jnl
Neuronal motifs reveal backbone structure and influential neurons of neural network in
J. Complex Networks
Jian Liu, Ye Yuan, Peng Zhao, Xiao Gu, Hong Huo, Zhaoyu Li, Tao Fang
2023 J jnl
Partition-based Print Sequence Planning and Adaptive Slicing for Scalar Field-based Multi-axis Additive Manufacturing.
Comput. Aided Des.
Tak Yu Lau, Li Chen, Dong He, Zhaoyu Li, Kai Tang
2022 A* conf
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems.
NeurIPS
Zhaoyu Li, Xujie Si
2022 J jnl
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems.
CoRR
Zhaoyu Li, Xujie Si
2022 J jnl
Partition-based 3 + 2-axis tool path generation for freeform surface machining using a non-spherical tool.
J. Comput. Des. Eng.
Jiancheng Hao, Zhaoyu Li, Xiangyu Li, Fubao Xie, Dong He, Kai Tang
2022 J jnl
Volume decomposition for multi-axis support-free and gouging-free printing based on ellipsoidal slicing.
Comput. Aided Des.
Fubao Xie, Xishuang Jing, Chengyang Zhang, Siyu Chen, Danjie Bi, Zhaoyu Li, Dong He, Kai Tang
2021 J jnl
A variable-depth multi-layer five-axis trochoidal milling method for machining deep freeform 3D slots.
Robotics Comput. Integr. Manuf.
Zhaoyu Li, Pengcheng Hu, Fubao Xie, Kai Tang
2021 J jnl
Channel state information-based multi-dimensional parameter estimation for massive RF data in smart environments.
EURASIP J. Adv. Signal Process.
Xiaolong Yang, Yuan She, Liangbo Xie, Zhaoyu Li
2021 — conf
Design of Porcelain Insulator Defect Recognition System Based on UAV Line Inspection Image.
6GN
Zhaoyu Li, Zhong Zheng, Shuo Shi, E. Rui
2021 J jnl
Graph Contrastive Pre-training for Effective Theorem Reasoning.
CoRR
Zhaoyu Li, Binghong Chen, Xujie Si
2021 J jnl
Multi-target vital signs detection using frequency-modulated continuous wave radar.
EURASIP J. Adv. Signal Process.
Yong Wang, Yuzhu Shui, Xiaobo Yang, Zhaoyu Li, Wen Wang
2021 J jnl
Multimodal Emotion-Cause Pair Extraction in Conversations.
CoRR
Fanfan Wang, Zixiang Ding, Rui Xia, Zhaoyu Li, Jianfei Yu
2021 J jnl
Quasi-Developable and Signed Multi-Strip Approximation of a Freeform Surface Mesh for Efficient Flank Milling.
Comput. Aided Des.
Dong He, Zhaoyu Li, Yamin Li, Kai Tang
2020 — conf
A Survey of Deep Learning and Its Application in Distribution Network.
ICAIIC
Xiaomin Yin, Xiandong Li, Yan Zhang, Tao Zhang, Chunhui Lu, Qian Ai, Zhaoyu Li, Ziru Sun
2020 J jnl
A spiral-based inspection path generation algorithm for efficient five-axis sweep scanning of freeform surfaces.
Comput. Aided Des.
Lufeng Chen, Rong Zhang, Kai Tang, Pengcheng Hu, Pengyu Zhao, Zhaoyu Li, Zhenwei Han
2020 — conf
Deep LSTM and GAN based Short-term Load Forecasting Method at the Zone Level.
ICAIIC
Jianguang Zhang, Xuyang Zhang, Jianfeng Yang, Zhaoxu Wang, Yufan Zhang, Qian Ai, Zhaoyu Li, Ziru Sun, Shuangrui Yin
2020 J jnl
Features extraction and analysis for device-free human activity recognition based on channel statement information in b5G wireless communications.
EURASIP J. Wirel. Commun. Netw.
Hui Yuan, Xiaolong Yang, Ailin He, Zhaoyu Li, Zhenya Zhang, Zengshan Tian
2020 J jnl
Five-axis Trochoidal Flank Milling of Deep 3D Cavities.
Comput. Aided Des.
Zhaoyu Li, Lufeng Chen, Ke Xu, Yongsheng Gao, Kai Tang
2020 J jnl
MUFold-SSW: a new web server for predicting protein secondary structures, torsion angles and turns.
Bioinform.
Chao Fang, Zhaoyu Li, Dong Xu, Yi Shang
2020 J jnl
Path smoothing and feed rate planning for robotic curved layer additive manufacturing.
Robotics Comput. Integr. Manuf.
Fubao Xie, Lufeng Chen, Zhaoyu Li, Kai Tang
2019 — conf
MUFold-Contact and TPCref: New Methods for Protein Structure Contact Prediction and Refinement.
BIBM
Jeffrey A. Ruffolo, Zhaoyu Li, Yi Shang
2019 J jnl
New Deep Learning Methods for Protein Loop Modeling.
IEEE ACM Trans. Comput. Biol. Bioinform.
Son P. Nguyen, Zhaoyu Li, Dong Xu, Yi Shang
2019 J jnl
PSICA: a fast and accurate web service for protein model quality analysis.
Nucleic Acids Res.
Wenbo Wang, Zhaoyu Li, Junlin Wang, Dong Xu, Yi Shang
2017 J jnl
A new algorithm for generation of dispatchable networks with temporal constraints.
Enterp. Inf. Syst.
Dexiang Chen, Rui Xu, Pingyuan Cui, Shengying Zhu, Zhaoyu Li
2017 B conf
Deep Networks and Continuous Distributed Representation of Protein Sequences for Protein Quality Assessment.
ICTAI
Son P. Nguyen, Zhaoyu Li, Yi Shang
2017 J jnl
Geometry-based propagation of temporal constraints.
Inf. Syst. Frontiers
Zhaoyu Li, Rui Xu, Pingyuan Cui, Lida Xu, Wu He
2017 B conf
New Deep Neural Networks for Protein Model Evaluation.
ICTAI
Junlin Wang, Zhaoyu Li, Yi Shang
2017 B conf
Protein Loop Modeling Using Deep Generative Adversarial Network.
ICTAI
Zhaoyu Li, Son P. Nguyen, Dong Xu, Yi Shang
2016 J jnl
A Geometric Dynamic Temporal Reasoning Method with Tags for Cognitive Systems.
Int. J. Softw. Sci. Comput. Intell.
Rui Xu, Zhaoyu Li, Pingyuan Cui, Shengying Zhu, Ai Gao
2016 — conf
A geometric dynamic temporal reasoning method with tags.
ICCI*CC
Rui Xu, Zhaoyu Li, Pingyuan Cui, Shengying Zhu, Ai Gao
2014 C conf
Urban land cover classification using aerial LiDAR and CCD images.
IGARSS
Shihua Li, Zhaoyu Li, Hongshu Wang, Jingxian Wang, Liang Li
2013 J jnl
An efficient approach for finding the MPE in belief networks
CoRR
Zhaoyu Li, Bruce D'Ambrosio
2013 — conf
Investigation on load balancing algorithm in LTE Trunking system.
WOCC
Zhongxiang Wei, Zhaoyu Li, Yuming Li, Yijun Chen
2013 J jnl
Parallelizing Probabilistic Inference: Some Early Explorations
CoRR
Bruce D'Ambrosio, Tony Fountain, Zhaoyu Li
1995 J jnl
A framework for ordering composite beliefs in belief networks.
IEEE Trans. Syst. Man Cybern.
Zhaoyu Li, Bruce D'Ambrosio
1994 J jnl
Efficient inference in Bayes networks as a combinatorial optimization problem.
Int. J. Approx. Reason.
Zhaoyu Li, Bruce D'Ambrosio
1993 A conf
An efficient approach for finding the MPE in belief networks.
UAI
Zhaoyu Li, Bruce D'Ambrosio
1992 A conf
Parallelizing Probabilistic Inference: Some Early Explorations.
UAI
Bruce D'Ambrosio, Tony Fountain, Zhaoyu Li