Some examples of irreducible homology 3-spheres that bound smooth contractible 4-manifolds are listed in the comment to problem 4.2 in Kirby's problem list, and all of them happen to occur among the Brieskorn spheres $\Sigma(p,q,r)$ modelled on $\widetilde{SL}_2(\mathbb R)$, i.e. such that $\frac{1}{p}+\frac{1}{q}+\frac{1}{r}<1$ (except for the standard $S^3$, of course).

Question. Are there any known homology 3-spheres that bound smooth contractible 4-manifolds and are modelled on other geometries, e.g. NIL or the hyperbolic space?

Some examples of irreducible homology 3-spheres that bound smooth contractible 4-manifolds are listed in the comment to problem 4.2 in Kirby's problem list, and all of them happen to occur among the Brieskorn spheres $\Sigma(p,q,r)$ modelled on $\widetilde{SL}_2(\mathbb R)$, i.e. such that $\frac{1}{p}+\frac{1}{q}+\frac{1}{r}<1$ (except for the standard $S^3$, of course).

Question. Are there any known homology 3-spheres that bound smooth contractible 4-manifolds and are modelled on other geometries, e.g. NIL or the hyperbolic space?

EDIT: Glazner in the paper "Uncountably many contractible 4-manifolds" constructed some other examples but I cannot recognize the geometry. (Glazner's six page paper is easily googlable by title, and it gives an explicit representation for the fundamental group, denoted $G_n$ on page 40).