Li, Zhengyu

8 publications

ICLR 2025 CATCH: Channel-Aware Multivariate Time Series Anomaly Detection via Frequency Patching Xingjian Wu, Xiangfei Qiu, Zhengyu Li, Yihang Wang, Jilin Hu, Chenjuan Guo, Hui Xiong, Bin Yang

NeurIPS 2025 Enhancing Time Series Forecasting Through Selective Representation Spaces: A Patch Perspective Xingjian Wu, Xiangfei Qiu, Hanyin Cheng, Zhengyu Li, Jilin Hu, Chenjuan Guo, Bin Yang

AAAI 2025 PokerBench: Training Large Language Models to Become Professional Poker Players Richard Zhuang, Akshat Gupta, Richard Yang, Aniket Rahane, Zhengyu Li, Gopala Anumanchipalli

IJCAI 2025 Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh

AAAI 2024 A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh

IJCAI 2024 A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem Zhengyu Li, Curtis Bright, Vijay Ganesh

AAAI 2024 A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) Zhengyu Li, Curtis Bright, Vijay Ganesh

NeurIPS 2022 Geodesic Self-Attention for 3D Point Clouds Zhengyu Li, Xuan Tang, Zihao Xu, Xihao Wang, Hui Yu, Mingsong Chen, Xian Wei