REFERENCES
Abdelrahman, G., Wang, Q., and Nunes, B. (2023). Knowl-
edge tracing: A survey. ACM Computing Surveys,
55(11):1–37.
´
Abrah
´
am, E., Nalbach, J., and Promies, V. (2023). Auto-
mated Exercise Generation for Satisfiability Check-
ing. In Formal Methods Teaching, pages 1–16.
Springer Nature Switzerland.
Ahmed, U. Z., Gulwani, S., and Karkare, A. (2013). Auto-
matically Generating Problems and Solutions for Nat-
ural Deduction. In Twenty-Third International Joint
Conference on Artificial Intelligence.
Andersen, E., Gulwani, S., and Popovic, Z. (2013). A
Trace-based Framework for Analyzing and Synthesiz-
ing Educational Progressions. In Proceedings of the
SIGCHI Conference on Human Factors in Computing
Systems. ACM.
Anderson, J. R., Corbett, A. T., Koedinger, K. R., and Pel-
letier, R. (1995). Cognitive Tutors: Lessons Learned.
Journal of the Learning Sciences, 4(2):167–207.
Atkinson, R. K., Derry, S. J., Renkl, A., and Wortham, D.
(2000). Learning from Examples: Instructional Prin-
ciples from the Worked Examples Research. Review
of educational research, 70(2):181–214.
Atkinson, R. K., Renkl, A., and Merrill, M. M. (2003).
Transitioning From Studying Examples to Solving
Problems: Effects of Self-Explanation Prompts and
Fading Worked-Out Steps. Journal of Educational
Psychology, 95(4):774–783.
Butler, E., Andersen, E., Smith, A. M., Gulwani, S., and
Popovi
´
c, Z. (2015). Automatic Game Progression De-
sign through Analysis of Solution Features. In Pro-
ceedings of the 33rd Annual ACM Conference on Hu-
man Factors in Computing Systems. ACM.
Clark, R., Kirschner, P. A., and Sweller, J. (2012). Putting
Students on the Path to Learning: The Case for Fully
Guided Instruction. American Educator, 36(1):5–11.
Cooper, G. (1990). Cognitive load theory as an aid for
instructional design. Australasian Journal of Educa-
tional Technology, 6(2).
Cooper, G. and Sweller, J. (1987). Effects of schema acqui-
sition and rule automation on mathematical problem-
solving transfer. Journal of Educational Psychology,
79(4):347–362.
Cui, P. and Sachan, M. (2023). Adaptive and Personalized
Exercise Generation for Online Language Learning.
Gick, M. L. and Holyoak, K. J. (1983). Schema Induc-
tion and Analogical Transfer. Cognitive Psychology,
15(1):1–38.
Hippach-Schneider, U., Krause, M., and Woll, C. (2007).
Berufsbildung in Deutschland: Kurzbeschreibung.
Office for Official Publications of the Europ. Commu-
nities.
IEEE (2018). IEEE Standard for Local and Metropoli-
tan Area Network–Bridges and Bridged Networks.
IEEE Std 802.1Q-2018 (Revision of IEEE Std 802.1Q-
2014), pages 1–1993.
Kalyuga, S. (2009). The Expertise Reversal Effect. In Man-
aging Cognitive Load in Adaptive Multimedia Learn-
ing, pages 58–80. IGI Global.
Kirschner, P. A., Sweller, J., and Clark, R. E. (2006).
Why Minimal Guidance During Instruction Does Not
Work: An Analysis of the Failure of Constructivist,
Discovery, Problem-Based, Experiential, and Inquiry-
Based Teaching. Educational Psychologist, 41(2):75–
86.
Kumar, A. N. (2022). Solvelets: Tutors to Practice the Pro-
cess of Programming. In Proceedings of the 27th ACM
Conference on on Innovation and Technology in Com-
puter Science Education Vol. 1, pages 151–157.
Marx, J. D. and Cummings, K. (2007). Normalized change.
American Journal of Physics, 75(1):87–91.
Newell, A. and Rosenbloom, P. (1993). Mechanisms of skill
acquisition and the law of practice. Cognitive Skills
and Their Acquisition, Vol. 1.
OpenAI (2023). ChatGPT-4. Large language model.
O’Rourke, E., Butler, E., Tolentino, A. D., and Popovi
´
c, Z.
(2019). Automatic Generation of Problems and Ex-
planations for an Intelligent Algebra Tutor. In Lecture
Notes in Computer Science, pages 383–395. Springer
International Publishing.
Paas, F. and van Gog, T. (2006). Optimising worked exam-
ple instruction: Different ways to increase germane
cognitive load. Learning and Instruction, 16(2):87–
91.
Polozov, O., O’Rourke, E., Smith, A. M., Zettlemoyer, L.,
Gulwani, S., and Popovi
´
c, Z. (2015). Personalized
Mathematical Word Problem Generation. In Twenty-
Fourth International Joint Conference on Artificial In-
telligence.
Renkl, A. (2023). Using worked examples for ill-structured
learning content. Their Own Words: What Scholars
and Teachers Want You To Know About Why and How
To Apply the Science of Learning in Your Academic
Setting, pages 207–224.
Renkl, A., Atkinson, R. K., and Große, C. S. (2004). How
Fading Worked Solution Steps Works – A Cognitive
Load Perspective. Instructional Science, 32(1/2):59–
82.
Renkl, A., Gruber, H., Mandl, H., and Hinkhofer, L. (1994).
Hilft Wissen bei der Identifikation und Kontrolle eines
komplexen
¨
okonomischen Systems?
Sadigh, D., Seshia, S. A., and Gupta, M. (2012). Automat-
ing Exercise Generation: A Step towards Meeting the
MOOC Challenge for Embedded Systems. In Pro-
ceedings of the Workshop on Embedded and Cyber-
Physical Systems Education, WESE ’12, New York,
NY, USA. Association for Computing Machinery.
Shute, V. J. (2008). Focus on Formative Feedback. Review
of educational research, 78(1):153–189.
Smith, A. M., Butler, E., and Popovic, Z. (2013). Quantify-
ing over Play: Constraining Undesirable Solutions in
Puzzle Design. In FDG, pages 221–228.
Spencer, R. M. and Weisberg, R. W. (1986). Context-
dependent effects on analogical transfer. Memory &
Cognition, 14(5):442–449.
CSEDU 2024 - 16th International Conference on Computer Supported Education
52