| 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 | 908 | 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 | 381 | 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 | 58 | 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 | 19 | 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 | 11 | 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 | 8 | 2019 |
| Living-body detection method and device and computer program product Z Cao, C Keqing, K Jia US Patent App. 15/738,500, 2018 | 8 | 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 |
| 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 |
| 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 | 1 | 2023 |
| Mixed Capability Games K Jia, M Rinard, Y Yang arXiv preprint arXiv:2208.04516, 2022 | | 2022 |
