“lagarto de Tianchi”) es un género representado por una única especie de dinosaurio tireóforo anquilosáurido, que vivió a mediados del período Jurásico, hace aproximadamente 167 millones de años en el Bathoniense, en lo que es hoy Asia.