Showing cs.LGShow all
2 papers · 1 filter
cs.LG2025
GSTM-HMU: Generative Spatio-Temporal Modeling for Human Mobility Understanding
Wenying Luo, Zhiyuan Lin, Wenhao Xu +2
Human mobility traces, often recorded as sequences of check-ins, provide a unique window into both short-term visiting patterns and persistent lifestyle regularities. In this work…
cs.LG2025
Exact Verification of Graph Neural Networks with Incremental Constraint Solving
Minghao Liu, Chia-Hsuan Lu, Marta Kwiatkowska
Graph neural networks (GNNs) are increasingly often employed in high-stakes applications, such as fraud detection or healthcare, but are susceptible to adversarial attacks. A numbe…