Thank you so much for all your research and answers. 

I'll amend his tax returns for years 2021-2023 to change status from single to MFJ. I agree that they could not claim CTC and EITC since children were not US permanent residents in those years.