Скорее всего пещеры там в-основном лавовые. Когда лавовый поток застывает снаружи, внутри лава продолжает стекать, в результате образуется полая трубка. Такие пещеры есть на Луне, может быть Меркурии. Хотя, возможно существование и карстовых пещер. Вернее термокарстовых. Хотя я сомневаюсь, что они имеют выход на поверхность. В районе вулкана Элизиум можно поискать. Есть там район хаотичного рельефа у подножья. Там когда-то лавовыми и пирокластическими потоками накрыло ледник. Затем, как обычно после формирования вулканической постройки, происходит её просадка в магматический очаг. Образуется вулкано-тектоническая депрессия. Соответственно, её края деформируются, образуются трещины, по которым и могут образоваться пещеры.
