Xiyue Zhang
6 papers · 2021–2026 · 4 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 ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (17) π£ Hot Topic Early Bird
π
Renaissance Researcher
(5)
Top co-authors
Research topics
Deep Learning
(4)
Machine Learning
(4)
Architectures
(4)
Artificial Intelligence
(3)
Core AI
(3)
Core Methods
(3)
Optimization & Theory
(2)
Techniques
(2)
Computer Vision
(1)
Data Science & Analytics
(1)
Mathematics & Optimization
(1)
Security & Privacy
(1)
Analysis
(1)
Applications
(1)
Learning Types
(1)
Keywords
neural network verification
(2)
attention mechanism
(2)
formal verification
(1)
graph attention
(1)
graph transformer
(1)
message passing
(1)
knowledge graph
(1)
weighted automata
(1)
sequential data
(1)
recurrent neural network
(1)
temporal encoding
(1)
language model
(1)
graph attention network
(1)
hypergraph learning
(1)
model approximation
(1)
weighted automaton
(1)
robustness verification
(1)
hierarchical architecture
(1)
robustness analysis
(1)
sequence modeling
(1)
Papers
Privacy-Preserving Robustness Verification for Neural Networks
UAI 2026
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
JMLR 2025
Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks
AAAI 2021
Knowledge-Enhanced Hierarchical Graph Transformer Network for Multi-Behavior Recommendation
AAAI 2021
Spatial-Temporal Sequential Hypergraph Network for Crime Prediction with Dynamic Multiplex Relation Learning
IJCAI 2021
Traffic Flow Forecasting with Spatial-Temporal Graph Diffusion Network
AAAI 2021