Heavy Neutral Leptons at FASER.

We study the prospects for discovering heavy neutral leptons at ForwArd Search ExpeRiment, or FASER, the newly proposed detector at the LHC. Previous studies showed that a relatively small detector with ~10 m length and ~1 m cross sectional area can probe large unconstrained parts of parameter space for dark photons and dark Higgs bosons. In this work we show that FASER will also be sensitive to heavy neutral leptons that have mixing angles with the active neutrinos that are up to an order of magnitude lower than current bounds. In particular, this is true for heavy neutral leptons produced dominantly in $B$ meson decays, in which case FASER's discovery potential is comparable to the proposed SHiP detector. We also illustrate how the search for heavy neutral leptons at FASER will be complementary to ongoing searches in high-$p_T$ experiments at the LHC and can shed light on the nature of dark matter and the process of baryogenesis in the early Universe.