Zhaoyu Li
- A Survey on Deep Learning for Theorem Proving
2024/04/15 by Zhaoyu Li, Jialiang Sun, Li, Zhaoyu +13 · 13 citations
Computer Science · #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Semantic Web and Ontologies
- Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
2024/10/28 by Zhongyu Li, Li, Zenan, Yifan Wu +10 · 12 citations
Computer Science · #Mathematics, Computing, and Information Processing
- Multimodal Emotion-Cause Pair Extraction in Conversations
2021/10/15 by Fanfan Wang, Zixiang Ding, Wang, Fanfan +7 · 4 citations
Computer Science · #Advanced Text Analysis Techniques #Computation and Language (cs.CL) #FOS: Computer and information sciences #Sentiment Analysis and Opinion Mining #Topic Modeling
- G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
2023/09/29 by Zhaoyu Li, Jinpei Guo, Li, Zhaoyu +3 · 5 citations
Computer Science · Materials Science · #Advanced Graph Neural Networks #Computational Drug Discovery Methods #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science
- NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
2022/11/07 by Zhaoyu Li, Xujie Si, Li, Zhaoyu +1 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
- Volume decomposition for multi-axis support-free and gouging-free printing based on ellipsoidal slicing
2021/10/21 by Fubao Xie, Xishuang Jing, Chengyang Zhang +5 · 2 citations
Engineering · Computer Science · #Additive Manufacturing and 3D Printing Technologies #Digital Image Processing Techniques #3D Shape Modeling and Analysis
- Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
2025/02/19 by Zhongyu Li, Li, Zenan, Zhaoyu Li +15 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning
- UniGraph2: Learning a Unified Embedding Space to Bind Multimodal Graphs
2025/02/02 by Yufei He, Yuan Sui, He, Yufei +9 · 4 citations
Computer Science · #Advanced Graph Neural Networks #FOS: Computer and information sciences #Machine Learning (cs.LG) #Semantic Web and Ontologies #Text and Document Classification Technologies
- Global prevalence and incidence of pressure injuries in hospitalised adult patients: A systematic review and meta-analysis
2020/01/31 by Zhaoyu Li, Frances Lin, Lukman Thalib +1 · 1 citation
Health Professions · Medicine · #Pressure Ulcer Prevention and Management #Stoma care and complications #Surgical site infection prevention