Jiaxuan Xie

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 ACL ×1 IJCAI ×1

Frequent coauthors

Ming Zhang

×2

Chengwu Liu

×1

Yichun Yin

×1

Ye Yuan

×1

Botao Li

×1

Siqi Li

×1

Jianhao Shen

×1

Yan Xu

×1

Lifeng Shang

×1

Yezi Liu

×1

Yanning Shen

×1

Yifang Qin

×1

Papers

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
ACL 2026 ·
Chengwu Liu
,
Yichun Yin
,
Ye Yuan
, Jiaxuan Xie,
Botao Li
,
Siqi Li
,
Jianhao Shen
,
Yan Xu
,
Lifeng Shang
,
Ming Zhang
DGExplainer: Explaining Dynamic Graph Neural Networks via Relevance Back-propagation
IJCAI 2025 ·
Yezi Liu
, Jiaxuan Xie,
Yanning Shen
GeoMamba: Towards Multi-granular POI Recommendation with Geographical State Space Model
AAAI 2025 ·
Yifang Qin
, Jiaxuan Xie,
Zhiping Xiao
,
Ming Zhang