It didn't match any of the species on the signage. They share a tank with neon tetra, leopard catfish, Harlequin rasbora and other small freshwater fish.
@Prochilodus246 That was what I was thinking, because they have that distinct body shape, but I wanted to make sure because I've never seen guppies that look like this. Thank you!