Get started
Author

Kai Jia

Observed name: Jia, Kai
ORCID: 0000-0001-8215-9899
Observed ORCID: 0000-0001-8215-9899
OpenAlex ID: A5101648153
Theano: A Python framework for fast computation of mathematical expressions
2016 · The Theano Development Team, Al-Rfou, Rami, et al. · arXiv (Cornell University) · 2,238
PDF
A pancreatic cancer risk prediction model (Prism) developed and validated on large-scale US clinical data
2023 · Kai Jia, Steven Kundrot, et al. · EBioMedicine · 42
PDF
Exploiting Verified Neural Networks via Floating Point Numerical Error
2021 · Kai Jia, Martin Rinard · Lecture notes in computer science · 42
PDF
Efficient Exact Verification of Binarized Neural Networks
2020 · Jia, Kai, Rinard, Martin · arXiv (Cornell University) · 38
PDF
Verifying Low-Dimensional Input Neural Networks via Input Quantization
2021 · Kai Jia, Martin Rinard · Lecture notes in computer science · 13
PDF
SANM: a symbolic asymptotic numerical solver with applications in mesh deformation
2021 · Kai Jia · ACM Transactions on Graphics · 8
PDF
Effective Neural Network $L_0$ Regularization With BinMask
2023 · Jia, Kai, Rinard, Martin · arXiv (Cornell University) · 5
PDF
Sound Explanation for Trustworthy Machine Learning
2023 · Jia, Kai, Saowakon, Pasapol, et al. · arXiv (Cornell University) · 3
PDF
On the Impact of Player Capability on Congestion Games
2022 · Yichen Yang, Kai Jia, et al. · Lecture notes in computer science · 3
PDF
AI-guided automated identification of patients at high risk for hepatocellular carcinoma in large US and global datasets
2026 · Eric Lahtinen, Kai Jia, et al. · JHEP Reports · 1
LIRIC predicts Hepatocellular Carcinoma risk in the diverse U.S. population using routine clinical data
2024 · Kai Jia, Bowen Gu, et al. · medRxiv · 1
Limited-perception games
2024 · Jia, Kai, Rinard, Martin · arXiv (Cornell University) · 1
PDF
TRAFS: A Nonsmooth Convex Optimization Algorithm with $\mathcal{O}\left(\frac{1}ε\right)$ Iteration Complexity
2023 · Jia, Kai, Rinard, Martin · arXiv (Cornell University) · 1
PDF
Prospective Population-Scale Validation of an Electronic Health Record–Based Model for Pancreatic Cancer Risk
2026 · Eric Lahtinen, Nicole Shigiltchoff, et al. · medRxiv
PDF
SDP Feasibility Problems and sos Representation Ranks for OT-FKM Type Isoparametric Polynomials
2026 · Ge, Jianquan, Jia, Kai, et al. · arXiv (Cornell University)
PDF
Mixed Capability Games
2022 · Jia, Kai, Rinard, Martin, et al. · arXiv (Cornell University)
PDF
SANM: a symbolic asymptotic numerical solver with applications in mesh deformation
2021 · Kai Jia · ACM Transactions on Graphics
Works count: 19
Citation count: 2,396
H-index: 6
I10-index: 5
Year
Topic
Type