Yichun Yin
25 papers · 2015–2026 · 8 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (59) π Academic Marathon Β· Half π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π§
Keyword Pioneer
π€
Dynamic Duo
(15)
π§¬
Topic Evolution
π
Renaissance Researcher
(5)
π₯
Unstoppable Β· Bronze
β‘
Prolific Year Β· Productive
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(117)
Top co-authors
Research topics
Machine Learning
(17)
Artificial Intelligence
(14)
Core AI
(13)
Deep Learning
(11)
Natural Language Processing
(11)
Application Areas
(9)
Learning Types Β· Machine Learning
(7)
Learning Types Β· Deep Learning
(6)
Resources & Methods
(6)
Optimization & Theory Β· Deep Learning
(5)
Optimization & Theory Β· Machine Learning
(5)
Applications
(4)
Core Methods
(4)
Models
(4)
Architectures
(3)
Keywords
knowledge distillation
(6)
model compression
(5)
large language model
(4)
language model
(4)
pre-trained language model
(4)
word embedding
(3)
transfer learning
(3)
automated theorem proving
(3)
knowledge transfer
(3)
mathematical reasoning
(2)
catastrophic forgetting
(2)
model reuse
(2)
transformer model
(2)
dialogue system
(2)
reinforcement learning
(2)
progressive training
(2)
sentiment classification
(2)
neural network optimization
(2)
formal proof
(2)
neural network
(2)
Papers
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
ACL 2026
MATCH: Modulating Attention via In-Context Retrieval for Long-Context Transformers
ACL 2026
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
ACL 2025
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
ICLR 2024
Preparing Lessons for Progressive Training on Language Models
AAAI 2024
AutoConv: Automatically Generating Information-seeking Conversations with Large Language Models
ACL 2023
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function
ACL 2023
NewsDialogues: Towards Proactive News Grounded Conversation
ACL 2023
One Cannot Stand for Everyone! Leveraging Multiple User Simulators to train Task-oriented Dialogue Systems
ACL 2023
Reusing Pretrained Models by Multi-linear Operators for Efficient Training
NeurIPS 2023
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
EMNLP 2023
bert2BERT: Towards Reusable Pretrained Language Models
ACL 2022
FPT: Improving Prompt Tuning Efficiency via Progressive Training
EMNLP 2022
G-MAP: General Memory-Augmented Pre-trained Language Model for Domain Tasks
EMNLP 2022
AutoTinyBERT: Automatic Hyper-parameter Optimization for Efficient Pre-trained Language Models
ACL 2021
Generate & Rank: A Multi-task Framework for Math Word Problems
EMNLP 2021
Dialog State Tracking with Reinforced Data Augmentation
AAAI 2020
PoD: Positional Dependency-Based Word Embedding for Aspect Term Extraction
COLING 2020
TernaryBERT: Distillation-aware Ultra-low Bit BERT
EMNLP 2020
TinyBERT: Distilling BERT for Natural Language Understanding
EMNLP 2020
Document-Level Multi-Aspect Sentiment Classification as Machine Comprehension
EMNLP 2017
NNEMBs at SemEval-2017 Task 4: Neural Twitter Sentiment Classification: a Simple Ensemble Method with Different Embeddings
SemEval 2017
Socialized Word Embeddings
IJCAI 2017
Unsupervised Word and Dependency Path Embeddings for Aspect Term Extraction
IJCAI 2016
Splusplus: A Feature-Rich Two-stage Classifier for Sentiment Analysis of Tweets
SemEval 2015