4 papers
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…
EditReward: A Human-Aligned Reward Model for Instruction-Guided Image Editing
Keming Wu, Sicong Jiang, Max Ku +3
Recently, we have witnessed great progress in image editing with natural language instructions. Several closed-source models like GPT-Image-1, Seedream, and Google-Nano-Banana have…
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…
Building a Recommendation System Using Amazon Product Co-Purchasing Network
Minghao Liu, Catherine Zhao, Nathan Zhou
This project develops an online, inductive recommendation system for newly listed products on e-commerce platforms, focusing on suggesting relevant new items to customers as they p…