Hamiltonicity conjecture for regular sublinear expanders

For $\varepsilon>0$, let an $(\varepsilon,d)$-expander be the sublinear-expansion notion used in the source. Hamiltonicity conjecture for regular sublinear expanders. There exists $d_0$ such that, for every $d\geq d_0$, every $d$-regular $(\varepsilon,d)$-expander contains a Hamilton cycle. The parser marks this conjecture as resolved by Draganić, Montgomery, Munhá Correia, Pokrovskiy and Sudakov.