Follow
Yang Li
Yang Li
Verified email at sjtu.edu.cn - Homepage
Title
Cited by
Cited by
Year
Improving generative adversarial networks via adversarial learning in latent space
Y Li, Y Mo, L Shi, J Yan
Advances in Neural Information Processing Systems (Spotlight) 35, 8868-8881, 2022
142022
From distribution learning in training to gradient search in testing for combinatorial optimization
Y Li, J Guo, R Wang, J Yan
Advances in Neural Information Processing Systems 36, 2024
132024
The policy-gradient placement and generative routing neural networks for chip design
R Cheng, X Lyu, Y Li, J Ye, J Hao, J Yan
NeurIPS 2022, 2022
132022
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
92023
Molecule generation for drug design: a graph learning perspective
N Yang, H Wu, K Zeng, Y Li, J Yan
arXiv preprint arXiv:2202.09212, 2022
92022
Iid-gan: an iid sampling perspective for regularizing mode collapse
Y Li, L Shi, J Yan
arXiv preprint arXiv:2106.00563, 2021
62021
Kissat Adaptive Restart, Kissat Cfexp: Adaptive Restart Policy and Variable Scoring Improvement
Y Li, Y Jia, W Luo, HL Zhen, X Li, M Yuan, J Yan
Proceedings of SAT Competition, 39, 2022
32022
Machine Learning Insides OptVerse AI Solver: Design Principles and Applications
X Li, F Zhu, HL Zhen, W Luo, M Lu, Y Huang, Z Fan, Z Zhou, Y Kuang, ...
arXiv preprint arXiv:2401.05960, 2024
12024
Rethinking and Benchmarking Predict-then-Optimize Paradigm for Combinatorial Optimization Problems
H Geng, H Ruan, R Wang, Y Li, Y Wang, L Chen, J Yan
arXiv preprint arXiv:2311.07633, 2023
12023
From Matching to Mixing: A Graph Interpolation Approach for SAT Instance Generation
X Chen*, Y Li*, R Wang, J Yan
The Twelfth International Conference on Learning Representations, 2023
2023
The SAT Encoding for Graph Isomorphism
Y Li, Y Jia, W Luo, H Zhen, X Li, M Yuan, J Yan
Proceedings of SAT Competition, 85, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–11