They are almost certainly the Cherry MX Ultra Low Profile[0], or else an almost 1:1 clone of them. Identical design, identical height and actuation distance. The actuation force is a bit off, but those numbers are more of a suggestion anyways.

[0]: https://www.cherry.de/en-us/product/mx-ulp-tactile