Jason Rute

According to our database, Jason Rute authored at least 8 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

2022

Proof Artifact Co-Training for Theorem Proving with Language Models.

Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu

Proceedings of the Tenth International Conference on Learning Representations, 2022

2019

Algorithmic Randomness and Fourier Analysis.

Johanna N. Y. Franklin, Timothy H. McNicholl, Jason Rute

Theory Comput. Syst., 2019

2018

Schnorr randomness for noncomputable measures.

Jason Rute

Inf. Comput., 2018

On the close interaction between algorithmic randomness and constructive/computable measure theory.

Jason Rute

CoRR, 2018

2016

When does randomness come from randomness?

Jason Rute

Theor. Comput. Sci., 2016

Computable randomness and betting for computable probability spaces.

Jason Rute

Math. Log. Q., 2016

2015

Energy randomness.

Joseph S. Miller, Jason Rute

CoRR, 2015