| Zarts: On zero-order optimization for neural architecture search X Wang, W Guo, J Su, X Yang, J Yan Advances in Neural Information Processing Systems 35, 12868-12880, 2022 | 37 | 2022 |
| Machine learning methods in solving the boolean satisfiability problem W Guo, HL Zhen, X Li, W Luo, M Yuan, Y Jin, J Yan Machine Intelligence Research 20 (5), 640-655, 2023 | 32 | 2023 |
| Hardsatgen: Understanding the difficulty of hard sat formula generation and a strong structure-hardness-aware baseline Y Li, X Chen, W Guo, X Li, W Luo, J Huang, HL Zhen, M Yuan, J Yan Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and …, 2023 | 20 | 2023 |
| Swap-based deep reinforcement learning for facility location problems in networks W Guo, Y Xu, Y Jin arXiv preprint arXiv:2312.15658, 2023 | 1 | 2023 |
| Unified and Generalizable Reinforcement Learning for Facility Location Problems on Graphs W Guo, R Wang, Y Xu, Y Jin THE WEB CONFERENCE 2025, 0 | | |
| Kissat-MAB-rephasing and Kissat relaxed X Chen, W Guo, W Luo, HL Zhen, X Li, M Yuan, J Yan SAT COMPETITION 2022, 35, 0 | | |
| Equivalence Checking of EPFL Benchmarks X Chen, W Guo, W Luo, HL Zhen, X Li, M Yuan, J Yan SAT COMPETITION 2022, 84, 0 | | |
