LISA: Language models of ISAbelle proofs

Published in 6th Conference on Artificial Intelligence and Theorem Proving (AITP 2021), 2021

Download paper here