Bertuol, Vinicius, AND Marcolino, Anderson. " A Human-in-the-Loop Architecture Based on RAG and LLMs for Generating and Grading Formative Assessments" Companion Proceedings of the Brazilian Symposium on Computing Education (EDUCOMP) [Online], (4 May 2026)