3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes | Read Paper on Bytez