Jiaxuan Xie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4. | Chengwu Liu, Yichun Yin, Ye Yuan, Jiaxuan Xie, Botao Li, Siqi Li, Jianhao Shen, Yan Xu, Lifeng Shang, Ming Zhang |
| 2025 | AAAI | GeoMamba: Towards Multi-granular POI Recommendation with Geographical State Space Model. | Yifang Qin, Jiaxuan Xie, Zhiping Xiao, Ming Zhang |
| 2025 | IJCAI | DGExplainer: Explaining Dynamic Graph Neural Networks via Relevance Back-propagation. | Yezi Liu, Jiaxuan Xie, Yanning Shen |
| 2024 | CW | Self-verificated UAED model for edge detection. | Yizhe Yao, Jiaxuan Xie, Xiao-Diao Chen, Xiaoyang Mao |