Jiaxuan Xie
3 papers · 2025–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
Top co-authors
Research topics
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
DGExplainer: Explaining Dynamic Graph Neural Networks via Relevance Back-propagation
IJCAI 2025
GeoMamba: Towards Multi-granular POI Recommendation with Geographical State Space Model
AAAI 2025