Correct, they would need ITINs to be on the US tax return.
But if the kids are not US Citizen or US Residents, there might not be any tax benefit on the Federal return anyway.
