Follow
Jason Rute
Jason Rute
IBM Research
Verified email at ibm.com - Homepage
Title
Cited by
Cited by
Year
A formal proof of the Kepler conjecture
T Hales, M Adams, G Bauer, TD Dang, J Harrison, H Le Truong, ...
Forum of mathematics, Pi 5, 2017
3422017
Algorithmic randomness, reverse mathematics, and the dominated convergence theorem
J Avigad, ET Dean, J Rute
Annals of Pure and Applied Logic 163 (12), 1854-1864, 2012
402012
Oscillation and the mean ergodic theorem for uniformly convex Banach spaces
J Avigad, J Rute
Ergodic Theory and Dynamical Systems 35 (4), 1009-1027, 2015
292015
Van Lambalgen's theorem for uniformly relative Schnorr and computable randomness
K Miyabe, J Rute
Proceedings of the 12th Asian Logic Conference, 251-270, 2013
252013
Computable randomness and betting for computable probability spaces
J Rute
Mathematical Logic Quarterly 62 (4-5), 335-366, 2016
212016
Topics in algorithmic randomness and computable analysis
J Rute
Carnegie Mellon University, 2013
202013
Proof artifact co-training for theorem proving with language models
JM Han, J Rute, Y Wu, EW Ayers, S Polu
arXiv preprint arXiv:2102.06203, 2021
182021
Algorithmic randomness, martingales, and differentiability I
J Rute
preprint, 2012
152012
A formal proof of the Kepler conjecture (2015)
T Hales, M Adams, G Bauer, DT Dang, J Harrison, TL Hoang, C Kaliszyk, ...
Preprint arXiv 1501, 2015
142015
Metastable convergence theorems
J Avigad, E Dean, J Rute
arXiv preprint arXiv:1108.4400, 2011
142011
When does randomness come from randomness?
J Rute
Theoretical Computer Science 635, 35-50, 2016
92016
A formal proof of the Kepler conjecture. Forum of Mathematics, Pi 5 (2017)
T Hales, M Adams, G Bauer, TD Dang, J Harrison, LT Hoang, C Kaliszyk, ...
62017
On the computability of graphons
NL Ackerman, J Avigad, CE Freer, DM Roy, JM Rute
arXiv preprint arXiv:1801.10387, 2018
52018
Algorithmic randomness for Doob's martingale convergence theorem in continuous time
J Rute, PKLV Nguyen, B Kjos-Hanssen
Logical Methods in Computer Science 10, 2014
52014
Schnorr randomness for noncomputable measures
J Rute
Information and Computation 258, 50-78, 2018
42018
Energy randomness
JS Miller, J Rute
Israel Journal of Mathematics 227 (1), 1-26, 2018
32018
On computable representations of exchangeable data
NL Ackerman, J Avigad, CE Freer, DM Roy, JM Rute
Workshop on Probabilistic Programming Semantics, 2017, 2017
32017
Computable Measure Theory and Algorithmic Randomness
M Hoyrup, J Rute
Handbook of Computability and Complexity in Analysis, 227-270, 2021
22021
Algorithmic randomness and constructive/computable measure theory
J Rute
Algorithmic Randomness: Progress and Prospects 50, 58, 2020
22020
Algorithmic barriers to representing conditional independence
NL Ackerman, J Avigad, CE Freer, DM Roy, JM Rute
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20