Yichun Yin

6 papers at tracked venues · 6 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ACL ×3 AAAI ×1 ICLR ×1 NeurIPS ×1

Frequent coauthors

Lifeng Shang

×5

Ye Yuan

×3

Ming Zhang

×3

Qun Liu

×3

Chengwu Liu

×2

Yan Xu

×2

Yasheng Wang

×2

Jiaxuan Xie

×1

Botao Li

×1

Siqi Li

×1

Jianhao Shen

×1

Linrui Ma

×1

Papers

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
ACL 2026 ·
Chengwu Liu
, Yichun Yin,
Ye Yuan
,
Jiaxuan Xie
,
Botao Li
,
Siqi Li
,
Jianhao Shen
,
Yan Xu
,
Lifeng Shang
,
Ming Zhang
MATCH: Modulating Attention via In-Context Retrieval for Long-Context Transformers
ACL 2026 ·
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
RidgeLoRA: Matrix Ridge Enhanced Low-Rank Adaptation of Large Language Models
NeurIPS 2025 ·
Junda Zhu
,
Jun Ai
,
Yujun Li
, Yichun Yin,
Yasheng Wang
,
Lifeng Shang
,
Qun Liu
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
ACL 2025 ·
Chengwu Liu
,
Ye Yuan
, Yichun Yin,
Yan Xu
,
Xin Xu
,
Zaoyu Chen
,
Yasheng Wang
,
Lifeng Shang
,
Qun Liu
,
Ming Zhang
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
ICLR 2024 ·
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
Preparing Lessons for Progressive Training on Language Models
AAAI 2024 ·
Yu Pan
,
Ye Yuan
, Yichun Yin,
Jiaxin Shi
,
Zenglin Xu
,
Ming Zhang
,
Lifeng Shang
,
Xin Jiang
,
Qun Liu