It's known that every classical (Grothendieck) topos is equivalent to the topos of sheaves on a localic groupoid (a groupoid in the category of locales).
For the record, this is proved by, starting form a topos $T$, constructing a locale $L$ and a surjection $L \rightarrow T$ 'nice enough' (like a proper surjection, or an open surjection depending on the proof). Then $(L, L \times_T L, L \times_T L \times_T L)$ is a truncated simplicial locale, which can be seen as a localic groupoid. There is a canonical geometric morphism from the topos of sheaves on this groupoid to $T$, and if the surjection $L \rightarrow T$ was nice enough it's an isomorphism.
My question is : Can we hope for a similar result for $\infty$-toposes ? for example by replacing localic groupoids by a localic $\infty$-groupoids, defined as a simplicial locale satisfying some form of Kan complex condition and defining the associated $\infty$-topos as the colimits of the corresponding simplicial diagram of localic $\infty$-toposes.
