Zenan Li

1. NodeFormer: A Scalable Graph Structure Learning Transformer for Node Classification
   2023/06/14 by Qitian Wu, Wentao Zhao, Wu, Qitian +7 · 24 citations
   Computer Science · Engineering · #Advanced Graph Neural Networks #Advanced Memory and Neural Computing #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Machine Learning (cs.LG)
2. 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
3. Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey
   2023/11/21 by Yun-Peng Huang, Jingwei Xu, Huang, Yunpeng +18 · 11 citations
   Computer Science · Social Sciences · #Computation and Language (cs.CL) #Computational and Text Analysis Methods #FOS: Computer and information sciences #I.2.11 #I.2.6 #I.2.7 #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling
4. Uncertainty-Aware Decision Transformer for Stochastic Driving Environments
   2023/09/28 by Zenan Li, Fan Nie, Li, Zenan +7 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
5. AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
   2026/02/10 by Haoyu Zhao, Ziran Yang, Jiawei Li +6 · 1 voice
   Computer Science · #cs.SE #cs.AI #cs.CL