Algorithmic randomness, reverse mathematics, and the dominated convergence theorem. - Jeremy Avigad; Edward T. Dean; Jason M. Rute (Ann. Pure Appl. Log., 2012)

A metastable dominated convergence theorem. - Jeremy Avigad; Edward T. Dean; Jason M. Rute (J. Log. Anal., 2012)

Algorithmic randomness for Doob's martingale convergence theorem in continuous time. - Bjørn Kjos-Hanssen; Paul Kim Long V. Nguyen; Jason M. Rute (Log. Methods Comput. Sci., 2014)

A formal proof of the Kepler conjecture. - Thomas C. Hales; Mark Adams; Gertrud Bauer; Dat Tat Dang; John Harrison 001; Truong Le Hoang; Cezary Kaliszyk; Victor Magron; Sean McLaughlin; Thang Tat Nguyen; Truong Quang Nguyen; Tobias Nipkow; et al. (CoRR, 2015)

On the computability of graphons. - Nathanael L. Ackerman; Jeremy Avigad; Cameron E. Freer; Daniel M. Roy 001; Jason M. Rute (CoRR, 2018)

Algorithmic barriers to representing conditional independence. - Nathanael L. Ackerman; Jeremy Avigad; Cameron E. Freer; Daniel M. Roy 001; Jason M. Rute (LICS, 2019)