avatar

Wenxuan Guo

Ph.D. Student
Shanghai Jiao Tong University
arya_g (at) sjtu (dot) edu (dot) cn


About Me

I am Wenxuan Guo, a Ph.D. student at Shanghai Jiao Tong Univerisity.

My research interests include solving combinatorial problems with machine learning, especially with urban data sets and applications.

Education

  1. Shanghai Jiao Tong University, Ph.D. Student Sep. 2021 - Present
  2. Shanghai Jiao Tong University, B.E. Sep. 2017 - June 2021
    • Member of ACM Honors Class.
    • Graduated with Zhiyuan Honor Degree of Bachelor of Engineering In Computer Science and Technology.

Experience

  1. Shanghai Jiao Tong University, ThinkLab July 2019 - Sep. 2021
    • Undergraduate researcher advised by Prof. Junchi Yan.
    • Developed ZARTS, a novel zero-order optimization-based neural architecture search (NAS) approach, addressing issues with the first/second-order approximations used in DARTS with rigorous theoretical proofs.
    • Conducted a survey on ML methods for the SAT problem(accepeted by Mach. Intell. Res.)
    • Participated in SAT Competition 2022, developing two Kissat-based solvers with multi-armed bandit and local search techniques.
  2. Georgia Institute of Technology, Machine Learning Group July 2020 - Dec. 2020
    • Research intern advised by Prof. Le Song.
    • Developed and implemented an automated program synthesis pipeline using CFG-GP to design and evaluate CDCL SAT solver heuristics, achieving results on par with manually designed state-of-the-art heuristics.
    • An extended abstract accepted by POPL 2021 Student Research Competition.

Publications

  1. DeepAir: Deep learning and satellite imagery to estimate high-resolution PM2.5 at scale
    Wenxuan Guo, Zhaoping Hu, Ling Jin, Yanyan Xu and Marta Gonzalez
    Machine Learning: Science and Technology, 2025.
    HTML BibTex

  2. Unified and Generalizable Reinforcement Learning for Facility Location Problems on Graphs
    Wenxuan Guo, Runzhong Wang, Yanyan Xu, Yaohui Jin
    The ACM Web Conference (WWW), 2025.
    HTML Code Oral Presentation

  3. HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
    Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan
    ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD), 2023.
    HTML Code

  4. Machine Learning Methods in Solving the Boolean Satisfiability Problem
    Wenxuan Guo, Hui-Ling Zhen, Xijun Li, Wanqian Luo, Mingxuan Yuan, Yaohui Jin, Junchi Yan
    Machine Intelligence Research, 2023.
    HTML BibTex

  5. ZARTS: On Zero-Order Optimization for Neural Architecture Search
    Xiaoxing Wang, Wenxuan Guo, Jianlin Su, Xiaokang Yang, Junchi Yan
    Advances in Neural Information Processing Systems (NeurIPS), 2022.
    PDF Code BibTex

Teaching

  1. CS0501 Data Structure, Shanghai Jiao Tong University Sep. 2023 - Jan. 2024
    Teaching Assistant

  2. CS0501 Data Structure, Shanghai Jiao Tong University Feb. 2023 - June 2023
    Teaching Assistant

  3. CS217 Algorithms Design and Analysis, Shanghai Jiao Tong University Feb. 2021 - June 2021
    Teaching Assistant

Honors & Awards

  1. Zhiyuan Outstanding Student Scholarship, Shanghai Jiao Tong University 2021
  2. Huawei Scholarship, Huawei Technologies Co., Ltd 2019
  3. Outstanding Undergraduate Scholarship, Shanghai Jiao Tong University 2018-2020
  4. Zhiyuan Honorary Scholarship, Shanghai Jiao Tong University 2017-2020
  5. Gold Medal 3-rd place, The 2019 CCPC Girls' Session 2019
  6. Gold Medal 4-th place, The 2018 ICPC Asia Hanoi Regional Contest 2018
  7. Gold Medal 17-th place, The 2018 ICPC Asia Xuzhou Regional Contest 2018
  8. Gold Medal 4-th place, The 2018 CCPC Qinhuangdao Regional Contest 2018
  9. Silver Medal, The 2018 CCPC Girls' Session 2018
  10. Bronze Medal, The 2017 ICPC Asia Ho Chi Minh City Regional Contest 2017
  11. Gold Medal, The 2017 ICPC Asia Xi'an Regional Contest 2017
  12. Silver Medal, The 2017 CCPC Harbin Regional Contest 2017
  13. Silver Medal, The 2016 National Olympiad in Informatics (NOI), China 2016

Powered by Jekyll and Minimal Light theme.