LISA: Language models of ISAbelle proofs

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