PPaperPicks

Yichun Yin

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

DBLP profile ↗ORCID search ↗

Venues

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

Frequent coauthors

Chengwu Liu
DBLP profile ↗ORCID search ↗
×2
Linrui Ma
DBLP profile ↗ORCID search ↗
×1
Junda Zhu
DBLP profile ↗ORCID search ↗
×1
Jing Xiong
DBLP profile ↗ORCID search ↗
×1
Yu Pan
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
    ACL 2026 ·
    Chengwu Liu
    DBLP profile ↗ORCID search ↗
  2. MATCH: Modulating Attention via In-Context Retrieval for Long-Context Transformers
    ACL 2026 ·
    Linrui Ma
    DBLP profile ↗ORCID search ↗
  3. RidgeLoRA: Matrix Ridge Enhanced Low-Rank Adaptation of Large Language Models
    NeurIPS 2025 ·
    Junda Zhu
    DBLP profile ↗ORCID search ↗
  4. Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
    ACL 2025 ·
    Chengwu Liu
    DBLP profile ↗ORCID search ↗
  5. DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning
    ICLR 2024 ·
    Jing Xiong
    DBLP profile ↗ORCID search ↗
  6. Preparing Lessons for Progressive Training on Language Models
    AAAI 2024 ·
    Yu Pan
    DBLP profile ↗ORCID search ↗