Jiaxuan Xie
3 papers · 2025–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(11)
Conferences
AAAI (1)
ACL (1)
IJCAI (1)
Top co-authors
Keywords
link prediction
(1)
graph representation
(1)
spatio-temporal modeling
(1)
temporal dependencies
(1)
state space model
(1)
sequential recommendation
(1)
automated theorem proving
(1)
temporal dependency
(1)
formal proof
(1)
poi recommendation
(1)
node regression
(1)
dynamic graph neural network
(1)
relevance back-propagation
(1)
natural language reasoning
(1)
behavior representation
(1)
large language model
(1)
spatio-temporal sequence
(1)
multi-granular preference
(1)
geographical modeling
(1)
Papers
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
ACL 2026
GeoMamba: Towards Multi-granular POI Recommendation with Geographical State Space Model
AAAI 2025
DGExplainer: Explaining Dynamic Graph Neural Networks via Relevance Back-propagation
IJCAI 2025