Designing Educational Personas Using Generative AI. ICCE 2023. https://doi.org/10.58459/icce.2023.1488.