For small scale production it's a manual process (size differences), for industrial scale it's using ML and blowing air in a certain direction. Basically the mosquitoes are brought under a camera in some form of tube, and depending on the gender they are blown into a certain direction separating male and female.

I don't think this is part of Verily, and afaik Verily was one of the first that starting doing this.