PPaperPicks

Jiaxuan Xie

3 papers at tracked venues · 2 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ACL ×1IJCAI ×1

Frequent coauthors

Chengwu Liu
DBLP profile ↗ORCID search ↗
×1
Yezi Liu
DBLP profile ↗ORCID search ↗
×1
Yifang Qin
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. DGExplainer: Explaining Dynamic Graph Neural Networks via Relevance Back-propagation
    IJCAI 2025 ·
    Yezi Liu
    DBLP profile ↗ORCID search ↗
  3. GeoMamba: Towards Multi-granular POI Recommendation with Geographical State Space Model
    AAAI 2025 ·
    Yifang Qin
    DBLP profile ↗ORCID search ↗