The film is now being color-timed by Steven Nakamura over at Company 3 in Santa Monica, which I believe is an all-daVinci Resolve facility. Don't know how much is 2K and how much is 4K. My bet is that they're working with 2K proxies just for the decision-making process, and then applying the same corrections to the 3D 4K files at the end.
There is no such thing as 4K 3D, at least not in any distributable form, because there is no 4K DCP format at this point in time. And given the VFX content of this picture, it's quite safe and logical to assume that the final finish is 2K, regardless of the live action shooting format.