Yichun Yin
- Papers
- 8
Cite
Notes
Only stored in your browser.
Authored papers
8UniPool: A Globally Shared Expert Pool for Mixture-of-Experts
arXiv 2026
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
arXiv 2025
Teaching LLMs According to Their Aptitude: Adaptive Reasoning for Mathematical Problem Solving
arXiv 2025
Preparing Lessons for Progressive Training on Language Models
arXiv 2024
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
arXiv 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
arXiv 2023
FIMO: A Challenge Formal Dataset for Automated Theorem Proving
arXiv 2023
TinyBERT: Distilling BERT for Natural Language Understanding
Findings of the Association for Computational Linguistics 2020
Affiliations
Frequent co-authors
10from 8 papers