On Generalizations of Separating and Splitting Families. - Daniel Condon; Samuel Coskey; Luke Serafin; Cody Stockdale (Electron. J. Comb., 2016)

A Formally Verified Proof of the Central Limit Theorem. - Jeremy Avigad; Johannes Hölzl; Luke Serafin (J. Autom. Reason., 2017)