Y. M. Zhang

1. FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
   2025/05/05 by Zhouliang Yu, Ruotian Peng, Yu, Zhouliang +23 · 16 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques
2. DiscoVLA: Discrepancy Reduction in Vision, Language, and Alignment for Parameter-Efficient Video-Text Retrieval
   2025/06/10 by Leqi Shen, Shen, Leqi, Guoqiang Gong +15 · 2 citations
   Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Multimodal Machine Learning Applications #Topic Modeling