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
911 2016 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
382 2018 Efficient Exact Verification of Binarized Neural Networks K Jia, M Rinard
Advances in Neural Information Processing Systems 33, 2020
67 2020 Face detection using machine learning Q Yin, Z Cao, K Jia
US Patent 10,268,950, 2019
59 2019 Exploiting verified neural networks via floating point numerical error K Jia, M Rinard
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021
41 2021 Liveness detection method, liveness detection system, and liveness detection device H Fan, K Jia, Q Yin
US Patent 10,528,849, 2020
20 2020 Verifying low-dimensional input neural networks via input quantization K Jia, M Rinard
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021
12 2021 Liveness detection apparatus and liveness detection method H Fan, K Jia, Q Yin
US Patent 9,940,532, 2018
11 2018 Method and apparatus for liveness detection K Jia, Q Yin
US Patent 10,339,402, 2019
9 2019 Living-body detection method and device and computer program product Z Cao, C Keqing, K Jia
US Patent App. 15/738,500, 2018
9 2018 Method and system for authenticating liveness face, and computer program product thereof T He, K Jia, Z Cao
US Patent 9,985,963, 2018
6 2018 SANM: A Symbolic Asymptotic Numerical Solver with Applications in Mesh Deformation K Jia
ACM Transactions on Graphics 40 (4), 2021
5 2021 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
2 2023 Sound Explanation for Trustworthy Machine Learning K Jia, P Saowakon, L Appelbaum, M Rinard
arXiv preprint arXiv:2306.06134, 2023
2 2023 Effective Neural Network Regularization With BinMask K Jia, M Rinard
arXiv preprint arXiv:2304.11237, 2023
2 2023 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
2 2023 On the impact of player capability on congestion games Y Yang, K Jia, M Rinard
International Symposium on Algorithmic Game Theory, 311-328, 2022
2 2022 Mixed Capability Games K Jia, M Rinard, Y Yang
arXiv preprint arXiv:2208.04516, 2022
2022