Energy randomness. - Joseph S. Miller; Jason Rute (CoRR, 2015)

Computable randomness and betting for computable probability spaces. - Jason Rute (Math. Log. Q., 2016)

When does randomness come from randomness? - Jason Rute (Theor. Comput. Sci., 2016)

On the close interaction between algorithmic randomness and constructive/computable measure theory. - Jason Rute (CoRR, 2018)

Schnorr randomness for noncomputable measures. - Jason Rute (Inf. Comput., 2018)

Algorithmic Randomness and Fourier Analysis. - Johanna N. Y. Franklin; Timothy H. McNicholl; Jason Rute (Theory Comput. Syst., 2019)

Proof Artifact Co-Training for Theorem Proving with Language Models. - Jesse Michael Han; Jason Rute; Yuhuai Wu; Edward W. Ayers; Stanislas Polu (ICLR, 2022)

Graph2Tac: Online Representation Learning of Formal Math Concepts. - Lasse Blaauwbroek; Mirek Olsák; Jason Rute; Fidel Ivan Schaposnik Massolo; Jelle Piepenbrock; Vasily Pestun (ICML, 2024)

Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving. - Jason Rute; Miroslav Olsák; Lasse Blaauwbroek; Fidel Ivan Schaposnik Massolo; Jelle Piepenbrock; Vasily Pestun (CoRR, 2024)

Magistral. - Abhinav Rastogi; Albert Q. Jiang; Andy Lo; Gabrielle Berrada; Guillaume Lample; Jason Rute; Joep Barmentlo; Karmesh Yadav; Kartik Khandelwal; Khyathi Raghavi Chandu; Léonard Blier; Lucile Saulnier; et al. (CoRR, 2025)

Voxtral. - Alexander H. Liu; Andy Ehrenberg; Andy Lo; Clément Denoix; Corentin Barreau; Guillaume Lample; Jean-Malo Delignon; Khyathi Raghavi Chandu; Patrick von Platen; Pavankumar Reddy Muddireddy; Sanchit Gandhi; Soham Ghosh; et al. (CoRR, 2025)