Distributed Certifiably Correct Range-Aided SLAM. - Alexander Thoms; Alan Papalia; Jared Velasquez; David M. Rosen; Sriram Narasimhan (CoRR, 2025)