Micropachycephalosaurus is an extinct genus of basal ceratopsian dinosaur containing only the type species, Micropachycephalosaurus hongtuyanensis. It lived in China during the Late Cretaceous and was found in the Jiangjunding Formation. Wikipedia