  Gross--Joyce--Tanaka arXiv:2005.05637 proposed a wall-crossing conjecture for
Calabi--Yau fourfolds. Assuming that it holds, we prove the conjecture of
Cao--Kool arXiv:1712.07347 for 0-dimensional DT4 invariants on projective
Calabi--Yau 4-folds and then compute virtual fundamental classes of Hilbert
schemes of points. As a results we are able to express generating series of
invariants in terms of universal power-series. On $\CC^4$, Nekrasov proposed
invariants with a conjectured closed form arXiv:1712.08128. Assuming
wall-crossing, we prove an analogue of his formula for compact CY 4-folds.
Finally, we notice a relationship to corresponding generating series for
Quot-schemes on elliptic surfaces which are also governed by a wall-crossing
formula. This leads to Segre--Verlinde correspondence for Calabi--Yau
fourfolds. We will study the relation further in the sequence to this paper.
