| Dt-solver: Automated theorem proving with dynamic-tree sampling guided by proof-level value function H Wang, Y Yuan, Z Liu, J Shen, Y Yin, J Xiong, E Xie, H Shi, Y Li, L Li, ... Proceedings of the 61st Annual Meeting of the Association for Computational …, 2023 | 17 | 2023 |
| Fimo: A challenge formal dataset for automated theorem proving C Liu, J Shen, H Xin, Z Liu, Y Yuan, H Wang, W Ju, C Zheng, Y Yin, L Li, ... arXiv preprint arXiv:2309.04295, 2023 | 15 | 2023 |
| Trigo: Benchmarking formal mathematical proof reduction for generative language models J Xiong, J Shen, Y Yuan, H Wang, Y Yin, Z Liu, L Li, Z Guo, Q Cao, ... arXiv preprint arXiv:2310.10180, 2023 | 7 | 2023 |
| PALT: Parameter-lite transfer of language models for knowledge graph completion J Shen, C Wang, Y Yuan, J Han, H Ji, K Sen, M Zhang, D Song arXiv preprint arXiv:2210.13715, 2022 | 5 | 2022 |
| Measuring vision-language stem skills of neural models J Shen, Y Yuan, S Mirzoyan, M Zhang, C Wang arXiv preprint arXiv:2402.17205, 2024 | 4 | 2024 |
| Reusing pretrained models by multi-linear operators for efficient training Y Pan, Y Yuan, Y Yin, Z Xu, L Shang, X Jiang, Q Liu Advances in Neural Information Processing Systems 36, 3248-3262, 2023 | 4 | 2023 |
| CFP: A Cross-layer Recommender System with Fine-grained Preloading for Short Video Streaming at Network Edge D Ran, Y Zhang, Y Yuan, K Bian 2020 IEEE 13th International Conference on Cloud Computing (CLOUD), 380-388, 2020 | 2 | 2020 |
| Preparing Lessons for Progressive Training on Language Models Y Pan, Y Yuan, Y Yin, J Shi, Z Xu, M Zhang, L Shang, X Jiang, Q Liu Proceedings of the AAAI Conference on Artificial Intelligence 38 (17), 18860 …, 2024 | 1 | 2024 |
| Vision-Braille: An End-to-End Tool for Chinese Braille Image-to-Text Translation A Wu, Y Yuan, M Zhang arXiv preprint arXiv:2407.06048, 2024 | | 2024 |
| MMEvalPro: Calibrating Multimodal Benchmarks Towards Trustworthy and Efficient Evaluation J Huang, L Chen, T Guo, F Zeng, Y Zhao, B Wu, Y Yuan, H Zhao, Z Guo, ... arXiv preprint arXiv:2407.00468, 2024 | | 2024 |
| Measuring Social Norms of Large Language Models Y Yuan, K Tang, J Shen, M Zhang, C Wang arXiv preprint arXiv:2404.02491, 2024 | | 2024 |
Ming Zhang（张铭）Professor,Peking UniversityVerified email at pku.edu.cn
