8.8k citations · 9.9k across the 52 of their papers we have counts for
4 papers · 1 filter
Provable Fairness for Neural Network Models using Formal Verification
Giorgian Borca-Tasciuc, Xingzhi Guo, Stanley Bak +1
Machine learning models are increasingly deployed for critical decision-making tasks, making it important to verify that they do not contain gender or racial biases picked up from…
Hierarchies over Vector Space: Orienting Word and Graph Embeddings
Xingzhi Guo, Steven Skiena
Word and graph embeddings are widely used in deep learning applications. We present a data structure that captures inherent hierarchical properties from an unordered flat embedding…
Subset Node Anomaly Tracking over Large Dynamic Graphs
Xingzhi Guo, Baojian Zhou, Steven Skiena
Tracking a targeted subset of nodes in an evolving graph is important for many real-world applications. Existing methods typically focus on identifying anomalous edges or finding a…
Time Window Frechet and Metric-Based Edit Distance for Passively Collected Trajectories
Jiaxin Ding, Jie Gao, Steven Skiena
The advances of modern localization techniques and the wide spread of mobile devices have provided us great opportunities to collect and mine human mobility trajectories. In this w…