Jason Rute

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 9

Top Topics

Theorem Proving

Top Venues

Theory Comput. Syst.

Publications

Jason Rute, Miroslav Olsák, Lasse Blaauwbroek, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun
Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving. CoRR (2024)
Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu
Proof Artifact Co-Training for Theorem Proving with Language Models. ICLR (2022)
Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu
Proof Artifact Co-training for Theorem Proving with Language Models. CoRR (2021)
Johanna N. Y. Franklin, Timothy H. McNicholl, Jason Rute
Algorithmic Randomness and Fourier Analysis. Theory Comput. Syst. 63 (3) (2019)
Jason Rute
On the close interaction between algorithmic randomness and constructive/computable measure theory. CoRR (2018)
Jason Rute
Schnorr randomness for noncomputable measures. Inf. Comput. 258 (2018)
Jason Rute
When does randomness come from randomness? Theor. Comput. Sci. 635 (2016)
Jason Rute
Computable randomness and betting for computable probability spaces. Math. Log. Q. 62 (4-5) (2016)
Joseph S. Miller, Jason Rute
Energy randomness. CoRR (2015)