PPaperPicks

Jianhao Shen

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ACL ×1ICLR ×1NAACL ×1

Frequent coauthors

Chengwu Liu
DBLP profile ↗ORCID search ↗
×1
Wei Ju
DBLP profile ↗ORCID search ↗
×1
Ye Yuan
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. Cluster-guided Contrastive Class-imbalanced Graph Classification
    AAAI 2025 ·
    Wei Ju
    DBLP profile ↗ORCID search ↗
  3. Measuring Social Norms of Large Language Models
    NAACL 2024 ·
    Ye Yuan
    DBLP profile ↗ORCID search ↗
  4. Measuring Vision-Language STEM Skills of Neural Models
    ICLR 2024 · Jianhao Shen