A university leader's glossary for AI and machine learning Inside Higher Ed