PPaperPicks

Ye Yuan

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

DBLP profile ↗ORCID search ↗

Venues

ACL ×3NAACL ×2AAAI ×1ICLR ×1

Frequent coauthors

Chengwu Liu
DBLP profile ↗ORCID search ↗
×2
Yiyang Gu
DBLP profile ↗ORCID search ↗
×1
Jinsheng Huang
DBLP profile ↗ORCID search ↗
×1
Jianhao Shen
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. SciCustom: A Framework for Custom Evaluation of Scientific Capabilities in Large Language Models
    ACL 2026 ·
    Yiyang Gu
    DBLP profile ↗ORCID search ↗
  3. MMEvalPro: Calibrating Multimodal Benchmarks Towards Trustworthy and Efficient Evaluation
    NAACL 2025 ·
    Jinsheng Huang
    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. Measuring Social Norms of Large Language Models
    NAACL 2024 · Ye Yuan
  6. Measuring Vision-Language STEM Skills of Neural Models
    ICLR 2024 ·
    Jianhao Shen
    DBLP profile ↗ORCID search ↗
  7. Preparing Lessons for Progressive Training on Language Models
    AAAI 2024 ·
    Yu Pan
    DBLP profile ↗ORCID search ↗