Cement etching removal

Doing a construction cleaning job and the concrete guys splattered concrete all over the sliders having left small divots from where the cement was. Is there any way on polishing that out or what’s my best options once the cements been scraped off ?