Rute, Jason

2 publications

ICML 2024 Graph2Tac: Online Representation Learning of Formal Math Concepts Lasse Blaauwbroek, Mirek Olšák, Jason Rute, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun

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