ml-driven synthesis optimization