DeepSeek-Prover-V1. 5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search H Xin, ZZ Ren, J Song, Z Shao, W Zhao, H Wang, B Liu, L Zhang, X Lu, ... arXiv preprint arXiv:2408.08152, 2024 | 3 | 2024 |
TANGO: Time-Reversal Latent GraphODE for Multi-Agent Dynamical Systems Z Huang*, W Zhao*, J Gao, Z Hu, X Luo, Y Cao, Y Chen, Y Sun, W Wang arXiv preprint arXiv:2310.06427, 2023 | 3 | 2023 |
Positive distribution pollution: rethinking positive unlabeled learning from a unified perspective Q Liang, M Zhu, Y Wang, X Wang, W Zhao, M Yang, H Wei, B Han, ... Proceedings of the AAAI Conference on Artificial Intelligence 37 (7), 8737-8745, 2023 | 2 | 2023 |
Recent Advances on Machine Learning for Computational Fluid Dynamics: A Survey H Wang, Y Cao, Z Huang, Y Liu, P Hu, X Luo, Z Song, W Zhao, J Liu, ... arXiv preprint arXiv:2408.12171, 2024 | | 2024 |