Yichun Yin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
7
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4. | Chengwu Liu, Yichun Yin, Ye Yuan, Jiaxuan Xie, Botao Li, Siqi Li, Jianhao Shen, Yan Xu, Lifeng Shang, Ming Zhang |
| 2026 | ACL | MATCH: Modulating Attention via In-Context Retrieval for Long-Context Transformers. | Linrui Ma, Chun Hei Lo, Xinyu Wang, Peng Lu, Xihao Yuan, Hanting Chen, Kai Han, Xinghao Chen, Chengjun Zhan, Hanlin Xu, Yichun Yin, Lifeng Shang, Feng Wen, Boxing Chen, Yufei Cui |
| 2025 | ACL | Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification. | Chengwu Liu, Ye Yuan, Yichun Yin, Yan Xu, Xin Xu, Zaoyu Chen, Yasheng Wang, Lifeng Shang, Qun Liu, Ming Zhang |
| 2024 | AAAI | Preparing Lessons for Progressive Training on Language Models. | Yu Pan, Ye Yuan, Yichun Yin, Jiaxin Shi, Zenglin Xu, Ming Zhang, Lifeng Shang, Xin Jiang, Qun Liu |
| 2024 | ICLR | DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning. | Jing Xiong, Zixuan Li, Chuanyang Zheng, Zhijiang Guo, Yichun Yin, Enze Xie, Zhicheng Yang, Qingxing Cao, Haiming Wang, Xiongwei Han, Jing Tang, Chengming Li, Xiaodan Liang |
| 2023 | ACL | One Cannot Stand for Everyone! Leveraging Multiple User Simulators to train Task-oriented Dialogue Systems. | Yajiao Liu, Xin Jiang, Yichun Yin, Yasheng Wang, Fei Mi, Qun Liu, Xiang Wan, Benyou Wang |
| 2023 | ACL | NewsDialogues: Towards Proactive News Grounded Conversation. | Siheng Li, Yichun Yin, Cheng Yang, Wangjie Jiang, Yiwei Li, Zesen Cheng, Lifeng Shang, Xin Jiang, Qun Liu, Yujiu Yang |
| 2023 | ACL | AutoConv: Automatically Generating Information-seeking Conversations with Large Language Models. | Siheng Li, Cheng Yang, Yichun Yin, Xinyu Zhu, Zesen Cheng, Lifeng Shang, Xin Jiang, Qun Liu, Yujiu Yang |
| 2023 | ACL | DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function. | Haiming Wang, Ye Yuan, Zhengying Liu, Jianhao Shen, Yichun Yin, Jing Xiong, Enze Xie, Han Shi, Yujun Li, Lin Li, Jian Yin, Zhenguo Li, Xiaodan Liang |
| 2023 | EMNLP | TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. | Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu |
| 2022 | ACL | bert2BERT: Towards Reusable Pretrained Language Models. | Cheng Chen, Yichun Yin, Lifeng Shang, Xin Jiang, Yujia Qin, Fengyu Wang, Zhi Wang, Xiao Chen, Zhiyuan Liu, Qun Liu |
| 2022 | EMNLP | FPT: Improving Prompt Tuning Efficiency via Progressive Training. | Yufei Huang, Yujia Qin, Huadong Wang, Yichun Yin, Maosong Sun, Zhiyuan Liu, Qun Liu |
| 2022 | EMNLP | G-MAP: General Memory-Augmented Pre-trained Language Model for Domain Tasks. | Zhongwei Wan, Yichun Yin, Wei Zhang, Jiaxin Shi, Lifeng Shang, Guangyong Chen, Xin Jiang, Qun Liu |
| 2021 | ACL | AutoTinyBERT: Automatic Hyper-parameter Optimization for Efficient Pre-trained Language Models. | Yichun Yin, Cheng Chen, Lifeng Shang, Xin Jiang, Xiao Chen, Qun Liu |
| 2021 | EMNLP | Generate & Rank: A Multi-task Framework for Math Word Problems. | Jianhao Shen, Yichun Yin, Lin Li, Lifeng Shang, Xin Jiang, Ming Zhang, Qun Liu |
| 2021 | ICANN | Extract then Distill: Efficient and Effective Task-Agnostic BERT Distillation. | Cheng Chen, Yichun Yin, Lifeng Shang, Zhi Wang, Xin Jiang, Xiao Chen, Qun Liu |
| 2020 | AAAI | Dialog State Tracking with Reinforced Data Augmentation. | Yichun Yin, Lifeng Shang, Xin Jiang, Xiao Chen, Qun Liu |
| 2020 | COLING | PoD: Positional Dependency-Based Word Embedding for Aspect Term Extraction. | Yichun Yin, Chenguang Wang, Ming Zhang |
| 2020 | EMNLP | TinyBERT: Distilling BERT for Natural Language Understanding. | Xiaoqi Jiao, Yichun Yin, Lifeng Shang, Xin Jiang, Xiao Chen, Linlin Li, Fang Wang, Qun Liu |
| 2020 | EMNLP | TernaryBERT: Distillation-aware Ultra-low Bit BERT. | Wei Zhang, Lu Hou, Yichun Yin, Lifeng Shang, Xiao Chen, Xin Jiang, Qun Liu |
| 2017 | EMNLP | Document-Level Multi-Aspect Sentiment Classification as Machine Comprehension. | Yichun Yin, Yangqiu Song, Ming Zhang |
| 2017 | IJCAI | Socialized Word Embeddings. | Ziqian Zeng, Yichun Yin, Yangqiu Song, Ming Zhang |
| 2016 | IJCAI | Unsupervised Word and Dependency Path Embeddings for Aspect Term Extraction. | Yichun Yin, Furu Wei, Li Dong, Kaimeng Xu, Ming Zhang, Ming Zhou |