Search Results for author: Jason Rute

Found 2 papers, 1 papers with code

Graph2Tac: Learning Hierarchical Representations of Math Concepts in Theorem proving

no code implementations5 Jan 2024 Jason Rute, Miroslav Olšák, Lasse Blaauwbroek, Fidel Ivan Schaposnik Massolo, Jelle Piepenbrock, Vasily Pestun

G2T is an online model that is deeply integrated into the users' workflow and can adapt in real time to new Coq projects and their definitions.

Automated Theorem Proving Math

Proof Artifact Co-training for Theorem Proving with Language Models

4 code implementations ICLR 2022 Jesse Michael Han, Jason Rute, Yuhuai Wu, Edward W. Ayers, Stanislas Polu

Labeled data for imitation learning of theorem proving in large libraries of formalized mathematics is scarce as such libraries require years of concentrated effort by human specialists to be built.

Automated Theorem Proving Imitation Learning +1

Cannot find the paper you are looking for? You can Submit a new open access paper.