Formiga-correição, tauoca, tanoca ou taoca é a designação comum a cerca de 200 espécies formigas carnívoras, notórias por organizarem expedições periódicas de milhares de indivíduos. Não constroem colónias e têm um modo de vida em constante movimento. Algumas aves seguem regularmente essas expedições, aproveitando os insetos e outros pequenos animais que tentam escapar do ataque das formigas.