default search action
Zhaoyu Li
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j30]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): 107287 (2024) - [j29]Bang Wang, Rui Xu, Dengyun Yu, Zhaoyu Li
A mark-based hierarchical asynchronous temporal constraints reasoning algorithm for multi-agent mission planning. Expert Syst. Appl. 249: 123624 (2024) - [j28]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: 102687 (2024) - [j27]Zhaoyu Li, Jinpei Guo, Xujie Si:
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks. Trans. Mach. Learn. Res. 2024 (2024) - [c16]Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si:
Autoformalizing Euclidean Geometry. ICML 2024 - [i11]Shuai Guo, Jielei Chu, Lei Zhu, Zhaoyu Li, Tianrui Li:
Dynamic Backtracking in GFlowNets: Enhancing Decision Steps with Reward-Dependent Adjustment Mechanisms. CoRR abs/2404.05576 (2024) - [i10]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 abs/2404.09939 (2024) - [i9]Logan Murphy, Kaiyu Yang, Jialiang Sun, Zhaoyu Li, Anima Anandkumar, Xujie Si:
Autoformalizing Euclidean Geometry. CoRR abs/2405.17216 (2024) - [i8]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 abs/2406.13161 (2024) - 2023
- [j26]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: 101861 (2023) - [j25]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: 103469 (2023) - [j24]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: 103576 (2023) - [j23]Ye Yuan
A GNN-based model for capturing spatio-temporal changes in locomotion behaviors of aging C. elegans. Comput. Biol. Medicine 155: 106694 (2023) - [j22]Jian Liu
Neuronal motifs reveal backbone structure and influential neurons of neural network in C. elegans. J. Complex Networks 11(3) (2023) - [j21]Fanfan Wang
Multimodal Emotion-Cause Pair Extraction in Conversations. IEEE Trans. Affect. Comput. 14(3): 1832-1844 (2023) - [j20]Zhaoyu Li, Kai Tang
Five-Axis Trochoidal Sweep Scanning Path Planning for Free-Form Surface Inspection. IEEE Trans Autom. Sci. Eng. 20(2): 1139-1155 (2023) - [j19]Xiaoyan Hu, Xizhao Bao, Guoli Wei, Zhaoyu Li:
Human-pose estimation based on weak supervision. Virtual Real. Intell. Hardw. 5(4): 366-377 (2023) - [c15]Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si:
Learning Reliable Logical Rules with SATNet. NeurIPS 2023 - [c14]Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu:
Neuro-symbolic Learning Yielding Logical Constraints. NeurIPS 2023 - [i7]Zhaoyu Li, Jinpei Guo, Xujie Si:
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks. CoRR abs/2309.16941 (2023) - [i6]Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si:
Learning Reliable Logical Rules with SATNet. CoRR abs/2310.02133 (2023) - 2022
- [j18]Fubao Xie
Volume decomposition for multi-axis support-free and gouging-free printing based on ellipsoidal slicing. Comput. Aided Des. 143: 103135 (2022) - [j17]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): 1585-1601 (2022) - [c13]Zhaoyu Li, Xujie Si:
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems. NeurIPS 2022 - [i5]Zhaoyu Li, Xujie Si:
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems. CoRR abs/2211.03880 (2022) - 2021
- [j16]Dong He, Zhaoyu Li
Quasi-Developable and Signed Multi-Strip Approximation of a Freeform Surface Mesh for Efficient Flank Milling. Comput. Aided Des. 140: 103083 (2021) - [j15]Xiaolong Yang, Yuan She, Liangbo Xie
Channel state information-based multi-dimensional parameter estimation for massive RF data in smart environments. EURASIP J. Adv. Signal Process. 2021(1): 1-22 (2021) - [j14]Yong Wang, Yuzhu Shui, Xiaobo Yang
Multi-target vital signs detection using frequency-modulated continuous wave radar. EURASIP J. Adv. Signal Process. 2021(1): 103 (2021) - [j13]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: 102093 (2021) - [c12]Zhaoyu Li, Zhong Zheng, Shuo Shi, E. Rui:
Design of Porcelain Insulator Defect Recognition System Based on UAV Line Inspection Image. 6GN 2021: 397-408 - [i4]Zhaoyu Li, Binghong Chen, Xujie Si:
Graph Contrastive Pre-training for Effective Theorem Reasoning. CoRR abs/2108.10821 (2021) - [i3]Fanfan Wang, Zixiang Ding, Rui Xia, Zhaoyu Li, Jianfei Yu:
Multimodal Emotion-Cause Pair Extraction in Conversations. CoRR abs/2110.08020 (2021) - 2020
- [j12]Chao Fang
MUFold-SSW: a new web server for predicting protein secondary structures, torsion angles and turns. Bioinform. 36(4): 1293-1295 (2020) - [j11]Zhaoyu Li, Lufeng Chen, Ke Xu, Yongsheng Gao, Kai Tang
Five-axis Trochoidal Flank Milling of Deep 3D Cavities. Comput. Aided Des. 119 (2020) - [j10]Lufeng Chen, Rong Zhang
A spiral-based inspection path generation algorithm for efficient five-axis sweep scanning of freeform surfaces. Comput. Aided Des. 124: 102838 (2020) - [j9]Hui Yuan
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): 36 (2020) - [j8]Fubao Xie
Path smoothing and feed rate planning for robotic curved layer additive manufacturing. Robotics Comput. Integr. Manuf. 65: 101967 (2020) - [c11]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: 613-618 - [c10]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: 643-646
2010 – 2019
- 2019
- [j7]Wenbo Wang
PSICA: a fast and accurate web service for protein model quality analysis. Nucleic Acids Res. 47(Webserver-Issue): W443-W450 (2019) - [j6]Son P. Nguyen
New Deep Learning Methods for Protein Loop Modeling. IEEE ACM Trans. Comput. Biol. Bioinform. 16(2): 596-606 (2019) - [c9]Jeffrey A. Ruffolo
MUFold-Contact and TPCref: New Methods for Protein Structure Contact Prediction and Refinement. BIBM 2019: 90-93 - 2017
- [j5]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): 1005-1017 (2017) - [j4]Zhaoyu Li, Rui Xu, Pingyuan Cui, Lida Xu, Wu He:
Geometry-based propagation of temporal constraints. Inf. Syst. Frontiers 19(4): 855-868 (2017) - [c8]Junlin Wang, Zhaoyu Li, Yi Shang:
New Deep Neural Networks for Protein Model Evaluation. ICTAI 2017: 309-313 - [c7]Son P. Nguyen, Zhaoyu Li, Yi Shang:
Deep Networks and Continuous Distributed Representation of Protein Sequences for Protein Quality Assessment. ICTAI 2017: 527-534 - [c6]Zhaoyu Li, Son P. Nguyen, Dong Xu, Yi Shang:
Protein Loop Modeling Using Deep Generative Adversarial Network. ICTAI 2017: 1085-1091 - 2016
- [j3]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): 43-59 (2016) - [c5]Rui Xu, Zhaoyu Li, Pingyuan Cui, Shengying Zhu, Ai Gao:
A geometric dynamic temporal reasoning method with tags. ICCI*CC 2016: 260-267 - 2014
- [c4]Shihua Li
Urban land cover classification using aerial LiDAR and CCD images. IGARSS 2014: 1967-1970 - 2013
- [c3]Zhongxiang Wei, Zhaoyu Li, Yuming Li, Yijun Chen:
Investigation on load balancing algorithm in LTE Trunking system. WOCC 2013: 242-245 - [i2]Zhaoyu Li, Bruce D'Ambrosio:
An efficient approach for finding the MPE in belief networks. CoRR abs/1303.1495 (2013) - [i1]Bruce D'Ambrosio, Tony Fountain, Zhaoyu Li:
Parallelizing Probabilistic Inference: Some Early Explorations. CoRR abs/1303.5399 (2013)
1990 – 1999
- 1995
- [j2]Zhaoyu Li, Bruce D'Ambrosio:
A framework for ordering composite beliefs in belief networks. IEEE Trans. Syst. Man Cybern. 25(2): 243-255 (1995) - 1994
- [j1]Zhaoyu Li, Bruce D'Ambrosio:
Efficient inference in Bayes networks as a combinatorial optimization problem. Int. J. Approx. Reason. 11(1): 55-81 (1994) - 1993
- [c2]Zhaoyu Li, Bruce D'Ambrosio:
An efficient approach for finding the MPE in belief networks. UAI 1993: 342-349 - 1992
- [c1]Bruce D'Ambrosio, Tony Fountain, Zhaoyu Li:
Parallelizing Probabilistic Inference: Some Early Explorations. UAI 1992: 59-66
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: