Yichun Yin
- TernaryBERT: Distillation-aware Ultra-low Bit BERT
2020/09/27 by Wei Zhang, Zhang, Wei, Lu Hou +10 · 5 citations
Computer Science · #Audio and Speech Processing (eess.AS) #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Sound (cs.SD) #Topic Modeling #electronic engineering #information engineering
- TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
2023/10/16 by Jing Xiong, Jianhao Shen, Xiong, Jing +25 · 3 citations
Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Topic Modeling
- Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
2025/06/05 by Chengwu Liu, Liu, Chengwu, Ye Yuan +16 · 6 citations
Decision Sciences · Materials Science · Computer Science · #Scientific Computing and Data Management #Machine Learning in Materials Science #Mathematics, Computing, and Information Processing
- G-MAP: General Memory-Augmented Pre-trained Language Model for Domain Tasks
2022/12/07 by Zhongwei Wan, Yichun Yin, Wan, Zhongwei +12 · 1 citation
Computer Science · Medicine · #Topic Modeling #Artificial Intelligence in Healthcare and Education
- UniPool: A Globally Shared Expert Pool for Mixture-of-Experts
2026/05/07 by Minbin Huang, Han Shi, Chuanyang Zheng +5 · 1 voice
Computer Science · #cs.LG #cs.AI
- Pangu Light: Weight Re-Initialization for Pruning and Accelerating LLMs
2025/05/26 by Hanting Chen, Chen, Hanting, Jialong Guo +31 · 2 citations
Engineering · #Advanced Surface Polishing Techniques #Computation and Language (cs.CL) #FOS: Computer and information sciences #Modular Robots and Swarm Intelligence
- Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving
2025/02/17 by Xin Xu, Xu, Xin, Yan Xu +19 · 1 citation
Computer Science · Mathematics · Social Sciences · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Educational Assessment and Pedagogy #FOS: Computer and information sciences #Intelligent Tutoring Systems and Adaptive Learning #Statistics Education and Methodologies