On the second eigenvalue of random bipartite biregular graphs - Yizhe Zhu (2020)