Luke Serafin

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 2

Top Topics

Machine Learning

Central Limit Theorem

Top Venues

Electron. J. Comb.

J. Autom. Reason.

Publications

Jeremy Avigad, Johannes Hölzl, Luke Serafin
A Formally Verified Proof of the Central Limit Theorem. J. Autom. Reason. 59 (4) (2017)
Daniel Condon, Samuel Coskey, Luke Serafin, Cody Stockdale
On Generalizations of Separating and Splitting Families. Electron. J. Comb. 23 (3) (2016)
Jeremy Avigad, Johannes Hölzl, Luke Serafin
A formally verified proof of the Central Limit Theorem. CoRR (2014)