Text this: Research on Robotic Polishing Process of Marble with Complex Curved Surface Based on Sol–Gel Flexible Tools