Picture for Kai Jia

Kai Jia

Sound Explanation for Trustworthy Machine Learning

Add code
Jun 08, 2023
Viaarxiv icon

Effective Neural Network $L_0$ Regularization With BinMask

Add code
Apr 21, 2023
Viaarxiv icon

Delving Deep into Pixel Alignment Feature for Accurate Multi-view Human Mesh Recovery

Add code
Jan 15, 2023
Viaarxiv icon

Verifying Low-dimensional Input Neural Networks via Input Quantization

Add code
Aug 18, 2021
Figure 1 for Verifying Low-dimensional Input Neural Networks via Input Quantization
Figure 2 for Verifying Low-dimensional Input Neural Networks via Input Quantization
Viaarxiv icon

Deep Retrieval: An End-to-End Learnable Structure Model for Large-Scale Recommendations

Add code
Jul 12, 2020
Figure 1 for Deep Retrieval: An End-to-End Learnable Structure Model for Large-Scale Recommendations
Figure 2 for Deep Retrieval: An End-to-End Learnable Structure Model for Large-Scale Recommendations
Figure 3 for Deep Retrieval: An End-to-End Learnable Structure Model for Large-Scale Recommendations
Figure 4 for Deep Retrieval: An End-to-End Learnable Structure Model for Large-Scale Recommendations
Viaarxiv icon

Efficient Exact Verification of Binarized Neural Networks

Add code
May 07, 2020
Figure 1 for Efficient Exact Verification of Binarized Neural Networks
Figure 2 for Efficient Exact Verification of Binarized Neural Networks
Figure 3 for Efficient Exact Verification of Binarized Neural Networks
Figure 4 for Efficient Exact Verification of Binarized Neural Networks
Viaarxiv icon

Exploiting Verified Neural Networks via Floating Point Numerical Error

Add code
Mar 06, 2020
Figure 1 for Exploiting Verified Neural Networks via Floating Point Numerical Error
Figure 2 for Exploiting Verified Neural Networks via Floating Point Numerical Error
Figure 3 for Exploiting Verified Neural Networks via Floating Point Numerical Error
Figure 4 for Exploiting Verified Neural Networks via Floating Point Numerical Error
Viaarxiv icon

MegDet: A Large Mini-Batch Object Detector

Add code
Apr 11, 2018
Figure 1 for MegDet: A Large Mini-Batch Object Detector
Figure 2 for MegDet: A Large Mini-Batch Object Detector
Figure 3 for MegDet: A Large Mini-Batch Object Detector
Figure 4 for MegDet: A Large Mini-Batch Object Detector
Viaarxiv icon

Theano: A Python framework for fast computation of mathematical expressions

Add code
May 09, 2016
Figure 1 for Theano: A Python framework for fast computation of mathematical expressions
Figure 2 for Theano: A Python framework for fast computation of mathematical expressions
Figure 3 for Theano: A Python framework for fast computation of mathematical expressions
Figure 4 for Theano: A Python framework for fast computation of mathematical expressions
Viaarxiv icon