Jason Rute
Orcid: 0000-0002-6247-1882
According to our database1,
Jason Rute
authored at least 9 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving.
CoRR, 2024
Proceedings of the Forty-first International Conference on Machine Learning, 2024
2022
Proceedings of the Tenth International Conference on Learning Representations, 2022
2019
2018
On the close interaction between algorithmic randomness and constructive/computable measure theory.
CoRR, 2018
2016
Math. Log. Q., 2016
2015