Machine Learning in Proof General: Interfacing Interfaces | Read Paper on Bytez