Seguir
Yang Li
Yang Li
Shanghai Jiao Tong University
Dirección de correo verificada de sjtu.edu.cn - Página principal
Título
Citado por
Citado por
Año
T2T: 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, 2023
362023
The policy-gradient placement and generative routing neural networks for chip design
R Cheng, X Lyu, Y Li, J Ye, J Hao, J Yan
Advances in Neural Information Processing Systems 35, 26350-26362, 2022
272022
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
192022
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
182023
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
162022
Iid-gan: an iid sampling perspective for regularizing mode collapse
Y Li, L Shi, J Yan
International Joint Conferences on Artificial Intelligence (IJCAI), 2021
102021
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
72024
Mixsatgen: Learning graph mixing for sat instance generation
X Chen*, Y Li*, R Wang, J Yan
The Twelfth International Conference on Learning Representations, 2024
42024
ACM-MILP: Adaptive Constraint Modification via Grouping and Selection for Hardness-Preserving MILP Instance Generation
Z Guo, Y Li, C Liu, W Ouyang, J Yan
Forty-first International Conference on Machine Learning (Spotlight), 2024
4*2024
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
32023
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
Fast t2t: Optimization consistency speeds up diffusion-based training-to-testing solving for combinatorial optimization
Y Li, J Guo, R Wang, H Zha, J Yan
The Thirty-eighth Annual Conference on Neural Information Processing Systems, 2024
22024
Learning Plaintext-Ciphertext Cryptographic Problems via ANF-based SAT Instance Representation
X Zheng, Y Li, C Fan, H Wu, X Song, J Yan
The Thirty-eighth Annual Conference on Neural Information Processing Systems, 2024
12024
Learning to Solve Combinatorial Optimization under Positive Linear Constraints via Non-Autoregressive Neural Networks
R Wang, Y Li, J Yan, X Yang
arXiv preprint arXiv:2409.04495, 2024
2024
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15