that's right. If the children are under 18, LPR, Living under custody of parents who naturalized, they become citizens automatically under Child Citizenship Act of 2000, section 320.
You may apply to USCIS using form n600 for a certificate of citzenship or apply for passport (child's BC, GC...