The one pictured sometimes called an Asian or Japanese or Halloween ladybug but always is Harmonia axyridis. They are good at eating aphids and sometimes thrips. These are not the usual predatory types offered by commercial companies; those are mainly called Convergent ladybird beetles, also known as Hippodamia convergens.
The Japanese ladybug is somewhat beneficial as you can imagine, they also have the ability to bite you. I would prefer to have a ladybug introduced from a commercial provider, rather than the wild, because I believe these creatures can also introduce unwanted contaminates such as powdery mildew spores from the outside.
Your call, I say kill them or move them outside, especially if you don't have other pests such as thrips or aphids.