Central limit theorems for the real zeros of Weyl polynomials

We establish the central limit theorem for the number of real roots of the Weyl polynomial $P_n(x)=\xi_0+\xi_1 x+\cdots+{1\over\sqrt{n!}}\xi_n x^n$, where $\xi_i$ are iid Gaussian random variables. The main ingredients in the proof are new estimates for the correlation functions of the real roots of $P_n$ and a comparison argument exploiting local laws and repulsion properties of these real roots.