MCTED: A Machine-Learning-Ready Dataset for Digital Elevation Model Generation From Mars Imagery. - Rafal Osadnik; Pablo Gómez; Eleni Bohacek; Rickbir Bahia (CoRR, 2025)