Pareto optimal proxy metrics. - Lee Richardson; Alessandro Zito; Dylan Greaves; Jacopo Soriano (CoRR, 2023)