Uncertainty Quantification for Travel-Time Tomography Using Deep Operator Networks With Randomized Priors | IEEE Journals & Magazine | IEEE Xplore