There are 2 lions guarding the main branch of the New York Public Library. What are their names today?

Culture Trivia: There are 2 lions guarding the main branch of the New York Public Library. What are their names today?