ProGO: Probabilistic Global Optimizer. - Xinyu Zhang; Sujit Ghosh (CoRR, 2023)