Zhaoyu Li

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 48

Top Topics

Euclidean Geometry

Protein Secondary Structure

Temporal Constraints

Top Venues

Comput. Aided Des.

Publications

Bang Wang, Rui Xu, Dengyun Yu, Zhaoyu Li, Siyao Lu
A mark-based hierarchical asynchronous temporal constraints reasoning algorithm for multi-agent mission planning. Expert Syst. Appl. 249 (2024)
Zhaoyu Li, Dong He, Xiangyu Li, Xiaoke Deng, Pengcheng Hu, Jiancheng Hao, Yue Hou, Hongyu Yu, Kai Tang
Efficient five-axis scanning-inspection path planning for complex freeform surfaces. Robotics Comput. Integr. Manuf. 86 (2024)
Honghua Dong, Qidong Su, Yubo Gao, Zhaoyu Li, Yangjun Ruan, Gennady Pekhimenko, Chris J. Maddison, Xujie Si
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts. CoRR (2024)
Shuai Guo, Jielei Chu, Lei Zhu, Zhaoyu Li, Tianrui Li
Dynamic Backtracking in GFlowNets: Enhancing Decision Steps with Reward-Dependent Adjustment Mechanisms. CoRR (2024)
Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si
Autoformalizing Euclidean Geometry. CoRR (2024)
Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si
A Survey on Deep Learning for Theorem Proving. CoRR (2024)
Zhaoyu Li, Jinpei Guo, Xujie Si
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks. Trans. Mach. Learn. Res. 2024 (2024)
Ai Gao, Siyao Lu, Rui Xu, Zhaoyu Li, Bang Wang, Shengying Zhu, Yuhui Gao, Bo Pan
Deep reinforcement learning based planning method in state space for lunar rovers. Eng. Appl. Artif. Intell. 127 (Part B) (2024)
Xiaoyan Hu, Xizhao Bao, Guoli Wei, Zhaoyu Li
Human-pose estimation based on weak supervision. Virtual Real. Intell. Hardw. 5 (4) (2023)
Jian Liu, Ye Yuan, Peng Zhao, Xiao Gu, Hong Huo, Zhaoyu Li, Tao Fang
. J. Complex Networks 11 (3) (2023)
Fanfan Wang, Zixiang Ding, Rui Xia, Zhaoyu Li, Jianfei Yu
Multimodal Emotion-Cause Pair Extraction in Conversations. IEEE Trans. Affect. Comput. 14 (3) (2023)
Zhaoyu Li, Jinpei Guo, Xujie Si
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks. CoRR (2023)
Ye Yuan, Kuankuan Xin, Jian Liu, Peng Zhao, Man Pok Lu, Yuner Yan, Yuchen Hu, Hong Huo, Zhaoyu Li, Tao Fang
. Comput. Biol. Medicine 155 (2023)
Dong He, Zhaoyu Li, Xiangyu Li, Yamin Li, Kai Tang
Collision-Conscious Multi-Pass Flank Milling of Complicated Parts Based on Stripification. Comput. Aided Des. 157 (2023)
Rui Xu, Yuting Zhao, Zhaoyu Li, Shengying Zhu, Zixuan Liang, Yue Gao
Hierarchical multi-agent planning for flexible assembly of large-scale lunar facilities. Adv. Eng. Informatics 55 (2023)
Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
Neuro-symbolic Learning Yielding Logical Constraints. NeurIPS (2023)
Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
Learning Reliable Logical Rules with SATNet. CoRR (2023)
Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
Learning Reliable Logical Rules with SATNet. NeurIPS (2023)
Tak Yu Lau, Li Chen, Dong He, Zhaoyu Li, Kai Tang
Partition-based Print Sequence Planning and Adaptive Slicing for Scalar Field-based Multi-axis Additive Manufacturing. Comput. Aided Des. 163 (2023)
Zhaoyu Li, Kai Tang, Pengcheng Hu, Lihua Huang
Five-Axis Trochoidal Sweep Scanning Path Planning for Free-Form Surface Inspection. IEEE Trans Autom. Sci. Eng. 20 (2) (2023)
Jiancheng Hao, Zhaoyu Li, Xiangyu Li, Fubao Xie, Dong He, Kai Tang
Partition-based 3 + 2-axis tool path generation for freeform surface machining using a non-spherical tool. J. Comput. Des. Eng. 9 (5) (2022)
Zhaoyu Li, Xujie Si
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems. CoRR (2022)
Fubao Xie, Xishuang Jing, Chengyang Zhang, Siyu Chen, Danjie Bi, Zhaoyu Li, Dong He, Kai Tang
Volume decomposition for multi-axis support-free and gouging-free printing based on ellipsoidal slicing. Comput. Aided Des. 143 (2022)
Zhaoyu Li, Xujie Si
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems. NeurIPS (2022)
Yong Wang, Yuzhu Shui, Xiaobo Yang, Zhaoyu Li, Wen Wang
Multi-target vital signs detection using frequency-modulated continuous wave radar. EURASIP J. Adv. Signal Process. 2021 (1) (2021)
Fanfan Wang, Zixiang Ding, Rui Xia, Zhaoyu Li, Jianfei Yu
Multimodal Emotion-Cause Pair Extraction in Conversations. CoRR (2021)
Zhaoyu Li, Pengcheng Hu, Fubao Xie, Kai Tang
A variable-depth multi-layer five-axis trochoidal milling method for machining deep freeform 3D slots. Robotics Comput. Integr. Manuf. 68 (2021)
Dong He, Zhaoyu Li, Yamin Li, Kai Tang
Quasi-Developable and Signed Multi-Strip Approximation of a Freeform Surface Mesh for Efficient Flank Milling. Comput. Aided Des. 140 (2021)
Zhaoyu Li, Binghong Chen, Xujie Si
Graph Contrastive Pre-training for Effective Theorem Reasoning. CoRR (2021)
Xiaolong Yang, Yuan She, Liangbo Xie, Zhaoyu Li
Channel state information-based multi-dimensional parameter estimation for massive RF data in smart environments. EURASIP J. Adv. Signal Process. 2021 (1) (2021)
Zhaoyu Li, Zhong Zheng, Shuo Shi, E. Rui
Design of Porcelain Insulator Defect Recognition System Based on UAV Line Inspection Image. 6GN (2021)
Lufeng Chen, Rong Zhang, Kai Tang, Pengcheng Hu, Pengyu Zhao, Zhaoyu Li, Zhenwei Han
A spiral-based inspection path generation algorithm for efficient five-axis sweep scanning of freeform surfaces. Comput. Aided Des. 124 (2020)
Fubao Xie, Lufeng Chen, Zhaoyu Li, Kai Tang
Path smoothing and feed rate planning for robotic curved layer additive manufacturing. Robotics Comput. Integr. Manuf. 65 (2020)
Chao Fang, Zhaoyu Li, Dong Xu, Yi Shang
MUFold-SSW: a new web server for predicting protein secondary structures, torsion angles and turns. Bioinform. 36 (4) (2020)
Zhaoyu Li, Lufeng Chen, Ke Xu, Yongsheng Gao, Kai Tang
Five-axis Trochoidal Flank Milling of Deep 3D Cavities. Comput. Aided Des. 119 (2020)
Hui Yuan, Xiaolong Yang, Ailin He, Zhaoyu Li, Zhenya Zhang, Zengshan Tian
Features extraction and analysis for device-free human activity recognition based on channel statement information in b5G wireless communications. EURASIP J. Wirel. Commun. Netw. 2020 (1) (2020)
Xiaomin Yin, Xiandong Li, Yan Zhang, Tao Zhang, Chunhui Lu, Qian Ai, Zhaoyu Li, Ziru Sun
A Survey of Deep Learning and Its Application in Distribution Network. ICAIIC (2020)
Jianguang Zhang, Xuyang Zhang, Jianfeng Yang, Zhaoxu Wang, Yufan Zhang, Qian Ai, Zhaoyu Li, Ziru Sun, Shuangrui Yin
Deep LSTM and GAN based Short-term Load Forecasting Method at the Zone Level. ICAIIC (2020)
Jeffrey Ruffolo, Zhaoyu Li, Yi Shang
MUFold-Contact and TPCref: New Methods for Protein Structure Contact Prediction and Refinement. BIBM (2019)
Son P. Nguyen, Zhaoyu Li, Dong Xu, Yi Shang
New Deep Learning Methods for Protein Loop Modeling. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (2) (2019)
Wenbo Wang, Zhaoyu Li, Junlin Wang, Dong Xu, Yi Shang
PSICA: a fast and accurate web service for protein model quality analysis. Nucleic Acids Res. 47 (Webserver-Issue) (2019)
Son P. Nguyen, Zhaoyu Li, Yi Shang
Deep Networks and Continuous Distributed Representation of Protein Sequences for Protein Quality Assessment. ICTAI (2017)
Junlin Wang, Zhaoyu Li, Yi Shang
New Deep Neural Networks for Protein Model Evaluation. ICTAI (2017)
Zhaoyu Li, Rui Xu, Pingyuan Cui, Lida Xu, Wu He
Geometry-based propagation of temporal constraints. Inf. Syst. Frontiers 19 (4) (2017)
Dexiang Chen, Rui Xu, Pingyuan Cui, Shengying Zhu, Zhaoyu Li
A new algorithm for generation of dispatchable networks with temporal constraints. Enterp. Inf. Syst. 11 (7) (2017)
Zhaoyu Li, Son P. Nguyen, Dong Xu, Yi Shang
Protein Loop Modeling Using Deep Generative Adversarial Network. ICTAI (2017)
Rui Xu, Zhaoyu Li, Pingyuan Cui, Shengying Zhu, Ai Gao
A Geometric Dynamic Temporal Reasoning Method with Tags for Cognitive Systems. Int. J. Softw. Sci. Comput. Intell. 8 (4) (2016)
Rui Xu, Zhaoyu Li, Pingyuan Cui, Shengying Zhu, Ai Gao
A geometric dynamic temporal reasoning method with tags. ICCI*CC (2016)
Shihua Li, Zhaoyu Li, Hongshu Wang, Jingxian Wang, Liang Li
Urban land cover classification using aerial LiDAR and CCD images. IGARSS (2014)
Zhongxiang Wei, Zhaoyu Li, Yuming Li, Yijun Chen
Investigation on load balancing algorithm in LTE Trunking system. WOCC (2013)
Zhaoyu Li, Bruce D'Ambrosio
An efficient approach for finding the MPE in belief networks CoRR (2013)
Bruce D'Ambrosio, Tony Fountain, Zhaoyu Li
Parallelizing Probabilistic Inference: Some Early Explorations CoRR (2013)
Zhaoyu Li, Bruce D'Ambrosio
A framework for ordering composite beliefs in belief networks. IEEE Trans. Syst. Man Cybern. 25 (2) (1995)
Zhaoyu Li, Bruce D'Ambrosio
Efficient inference in Bayes networks as a combinatorial optimization problem. Int. J. Approx. Reason. 11 (1) (1994)
Zhaoyu Li, Bruce D'Ambrosio
An efficient approach for finding the MPE in belief networks. UAI (1993)
Bruce D'Ambrosio, Tony Fountain, Zhaoyu Li
Parallelizing Probabilistic Inference: Some Early Explorations. UAI (1992)