Follow
Kai Jia
Kai Jia
Verified email at mit.edu - Homepage
Title
Cited by
Cited by
Year
Theano: A Python framework for fast computation of mathematical expressions
R Al-Rfou, G Alain, A Almahairi, C Angermueller, D Bahdanau, N Ballas, ...
arXiv e-prints, arXiv: 1605.02688, 2016
9262016
Megdet: A large mini-batch object detector
C Peng, T Xiao, Z Li, Y Jiang, X Zhang, K Jia, G Yu, J Sun
Proceedings of the IEEE conference on Computer Vision and Pattern …, 2018
3932018
Efficient Exact Verification of Binarized Neural Networks
K Jia, M Rinard
Advances in Neural Information Processing Systems 33, 2020
762020
Face detection using machine learning
Q Yin, Z Cao, K Jia
US Patent 10,268,950, 2019
632019
Exploiting verified neural networks via floating point numerical error
K Jia, M Rinard
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021
472021
Liveness detection method, liveness detection system, and liveness detection device
H Fan, K Jia, Q Yin
US Patent 10,528,849, 2020
212020
Verifying low-dimensional input neural networks via input quantization
K Jia, M Rinard
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021
122021
Liveness detection apparatus and liveness detection method
H Fan, K Jia, Q Yin
US Patent 9,940,532, 2018
112018
Method and apparatus for liveness detection
K Jia, Q Yin
US Patent 10,339,402, 2019
92019
Living-body detection method and device and computer program product
Z Cao, C Keqing, K Jia
US Patent App. 15/738,500, 2018
92018
A pancreatic cancer risk prediction model (Prism) developed and validated on large-scale US clinical data
K Jia, S Kundrot, MB Palchuk, J Warnick, K Haapala, ID Kaplan, M Rinard, ...
EBioMedicine 98, 2023
72023
Method and system for authenticating liveness face, and computer program product thereof
T He, K Jia, Z Cao
US Patent 9,985,963, 2018
72018
SANM: A Symbolic Asymptotic Numerical Solver with Applications in Mesh Deformation
K Jia
ACM Transactions on Graphics 40 (4), 2021
62021
Effective Neural Network Regularization With BinMask
K Jia, M Rinard
arXiv preprint arXiv:2304.11237, 2023
32023
On the impact of player capability on congestion games
Y Yang, K Jia, M Rinard
International Symposium on Algorithmic Game Theory, 311-328, 2022
32022
Sound Explanation for Trustworthy Machine Learning
K Jia, P Saowakon, L Appelbaum, M Rinard
arXiv preprint arXiv:2306.06134, 2023
22023
Developing and validating a pancreatic cancer risk model for the general population using multi-institutional electronic health records from a federated network
K Jia, S Kundrot, M Palchuk, J Warnick, K Haapala, I Kaplan, M Rinard, ...
medRxiv, 2023.02. 05.23285192, 2023
22023
Limited-perception games
K Jia, M Rinard
arXiv preprint arXiv:2405.16735, 2024
2024
Mixed Capability Games
K Jia, M Rinard, Y Yang
arXiv preprint arXiv:2208.04516, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–19