| H-tsp: Hierarchically solving the large-scale traveling salesman problem X Pan, Y Jin, Y Ding, M Feng, L Zhao, L Song, J Bian Proceedings of the AAAI Conference on Artificial Intelligence 37 (8), 9345-9353, 2023 | 55 | 2023 |
| Pointerformer: Deep reinforced multi-pointer transformer for the traveling salesman problem Y Jin, Y Ding, X Pan, K He, L Zhao, T Qin, L Song, J Bian Proceedings of the AAAI Conference on Artificial Intelligence 37 (7), 8132-8140, 2023 | 44 | 2023 |
| Probabilistic mobility models for mobile and wireless networks L Song, JC Godskesen Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference …, 2010 | 35 | 2010 |
| A simple probabilistic extension of modal mu-calculus W Liu, L Song, J Wang, L Zhang arXiv preprint arXiv:1504.07737, 2015 | 28 | 2015 |
| Bisimulations meet PCTL equivalences for probabilistic automata L Song, L Zhang, JC Godskesen, F Nielson Logical Methods in Computer Science 9, 2013 | 28 | 2013 |
| Context impacts in Accelerometer-Based walk detection and step counting B Ao, Y Wang, H Liu, D Li, L Song, J Li Sensors 18 (11), 3604, 2018 | 25 | 2018 |
| Multi-agent reinforcement learning with shared resources for inventory management Y Ding, M Feng, G Liu, W Jiang, C Zhang, L Zhao, L Song, H Li, Y Jin, ... arXiv preprint arXiv:2212.07684, 2022 | 22 | 2022 |
| Pre-trained large language models for industrial control L Song, C Zhang, L Zhao, J Bian arXiv preprint arXiv:2308.03028, 2023 | 20 | 2023 |
| Tracking states of massive electrical appliances by lightweight metering and sequence decoding Y Wang, X Hao, L Song, C Wu, Y Wang, C Hu, L Yu Proceedings of the Sixth International Workshop on Knowledge Discovery from …, 2012 | 19 | 2012 |
| A versatile multi-agent reinforcement learning benchmark for inventory management X Yang, Z Liu, W Jiang, C Zhang, L Zhao, L Song, J Bian arXiv preprint arXiv:2306.07542, 2023 | 17 | 2023 |
| Position: Rethinking post-hoc search-based neural approaches for solving large-scale traveling salesman problems Y Xia, X Yang, Z Liu, Z Liu, L Song, J Bian arXiv preprint arXiv:2406.03503, 2024 | 16 | 2024 |
| Model checking probabilistic epistemic logic for probabilistic multiagent systems C Fu, A Turrini, X Huang, L Song, Y Feng, L Zhang IJCAI International Joint Conference on Artificial Intelligence, 2018 | 16 | 2018 |
| Protecting your llms with information bottleneck Z Liu, Z Wang, L Xu, J Wang, L Song, T Wang, C Chen, W Cheng, J Bian Advances in Neural Information Processing Systems 37, 29723-29753, 2024 | 15 | 2024 |
| Reward-bounded reachability probability for uncertain weighted MDPs V Hashemi, H Hermanns, L Song International Conference on Verification, Model Checking, and Abstract …, 2015 | 15 | 2015 |
| Compositional bisimulation minimization for interval Markov decision processes V Hashemi, H Hermanns, L Song, K Subramani, A Turrini, ... Language and Automata Theory and Applications: 10th International Conference …, 2016 | 13 | 2016 |
| Probably safe or live JP Katoen, L Song, L Zhang Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 13 | 2014 |
| Late weak bisimulation for Markov automata L Song, L Zhang, JC Godskesen, H Hermanns, C Eisentraut CoRR, abs/1202.4116, 2012 | 13 | 2012 |
| Graph neural network enhanced retrieval for question answering of llms Z Li, Q Guo, J Shao, L Song, J Bian, J Zhang, R Wang arXiv preprint arXiv:2406.06572, 2024 | 12 | 2024 |
| Whittle index with multiple actions and state constraint for inventory management C Zhang, X Wang, W Jiang, X Yang, S Wang, L Song, J Bian The twelfth international conference on learning representations, 2024 | 10 | 2024 |
| Probabilistic bisimulation for realistic schedulers C Eisentraut, JC Godskesen, H Hermanns, L Song, L Zhang FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 10 | 2015 |
