research
∙
06/08/2023
Sound Explanation for Trustworthy Machine Learning
We take a formal approach to the explainability problem of machine learn...
share
research
∙
04/21/2023
Effective Neural Network L_0 Regularization With BinMask
L_0 regularization of neural networks is a fundamental problem. In addit...
research
∙
01/15/2023
Delving Deep into Pixel Alignment Feature for Accurate Multi-view Human Mesh Recovery
Regression-based methods have shown high efficiency and effectiveness fo...
research
∙
08/09/2022
Mixed Capability Games
We present a new class of strategic games, mixed capability games, as a ...
research
∙
05/20/2022
On the Impact of Player Capability on Congestion Games
We study the impact of player capability on social welfare in congestion...
research
∙
08/18/2021
Verifying Low-dimensional Input Neural Networks via Input Quantization
Deep neural networks are an attractive tool for compressing the control ...
research
∙
05/18/2021
SANM: A Symbolic Asymptotic Numerical Solver with Applications in Mesh Deformation
Solving nonlinear systems is an important problem. Numerical continuatio...
research
∙
07/12/2020
Deep Retrieval: An End-to-End Learnable Structure Model for Large-Scale Recommendations
One of the core problems in large-scale recommendations is to retrieve t...
research
∙
05/07/2020
Efficient Exact Verification of Binarized Neural Networks
Concerned with the reliability of neural networks, researchers have deve...
research
∙
03/06/2020
Exploiting Verified Neural Networks via Floating Point Numerical Error
We show how to construct adversarial examples for neural networks with e...
research
∙
08/06/2019
Optimal Sliced Latin Hypercube Designs with Slices of Arbitrary Run Sizes
Sliced Latin hypercube designs (SLHDs) are widely used in computer exper...
research
∙
11/20/2017
MegDet: A Large Mini-Batch Object Detector
The improvements in recent CNN-based object detection works, from R-CNN ...
research
∙
05/09/2016