{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T07:30:08Z","timestamp":1782545408324,"version":"3.54.5"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032297624","type":"print"},{"value":"9783032297631","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T00:00:00Z","timestamp":1782518400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T00:00:00Z","timestamp":1782518400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-3-032-29763-1_41","type":"book-chapter","created":{"date-parts":[[2026,6,26]],"date-time":"2026-06-26T14:42:02Z","timestamp":1782484922000},"page":"601-610","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Chat-Based Support Alone May Not Be Enough: Comparing Conversational and\u00a0Embedded LLM Feedback for\u00a0Mathematical Proof Learning"],"prefix":"10.1007","author":[{"given":"Eason","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sophia","family":"Judicke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kayla","family":"Beigh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinyi","family":"Tang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yumo","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mingyu","family":"Yuan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zimo","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chuangji","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shizhuo","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Reed","family":"Luttmer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shreya","family":"Singh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maria","family":"Yampolsky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Naman","family":"Parikh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yvonne","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Meiyi","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cheng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anishka","family":"Mohanty","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gregory","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Mackey","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jionghao","family":"Lin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ken","family":"Koedinger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,27]]},"reference":[{"issue":"2","key":"41_CR1","first-page":"147","volume":"26","author":"VA Aleven","year":"2002","unstructured":"Aleven, V.A., Koedinger, K.R.: An effective metacognitive strategy: learning by doing and explaining with a computer-based cognitive tutor. Cogn. Sci. 26(2), 147\u2013179 (2002)","journal-title":"Cogn. Sci."},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"Armfield, D., Chen, E.: Avalon: a human-in-the-loop LLM grading system with instructor calibration and student self-assessment. In: International Conference on Artificial Intelligence in Education, pp. 111\u2013118 (2025)","DOI":"10.1007\/978-3-031-99267-4_14"},{"key":"41_CR3","unstructured":"Bandura, A.: Self-efficacy: The Exercise of Control. Macmillan (1997)"},{"key":"41_CR4","unstructured":"Chen, E., Judicke, S.: Generative AI alone may not be enough: evaluating AI support for learning mathematical proof. arXiv preprint arXiv:2509.16778 (2025)"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"Chen, E., Lee, J.E., Lin, J., Koedinger, K.R.: GPTutor: great personalized tutor with large language models for personalized learning content generation. In: Proceedings of the Eleventh ACM Conference on Learning@ Scale, pp. 539\u2013541 (2024)","DOI":"10.1145\/3657604.3664718"},{"key":"41_CR6","doi-asserted-by":"publisher","unstructured":"Chen, E., et al.: Identifying effective praise in tutoring: large language models with transparent explanations. In: International Conference on Artificial Intelligence in Education, pp. 157\u2013163. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-98465-5_20","DOI":"10.1007\/978-3-031-98465-5_20"},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"Chen, E., et al.: AI knows best? The paradox of expertise, AI-reliance, and performance in educational tutoring decision-making tasks. arXiv preprint arXiv:2509.16772 (2025)","DOI":"10.1145\/3785022.3785035"},{"key":"41_CR8","doi-asserted-by":"publisher","unstructured":"Chen, E., et al.: VTutor: an animated pedagogical agent SDK that provide real time multi-model feedback. In: International Conference on Artificial Intelligence in Education, pp. 152\u2013159. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-99267-4_19","DOI":"10.1007\/978-3-031-99267-4_19"},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"Chen, E., Tang, X.: VTutor for high-impact tutoring at scale: managing engagement and real-time multi-screen monitoring with P2P connections. In: Proceedings of the Twelfth ACM Conference on Learning@ Scale, pp. 320\u2013324 (2025)","DOI":"10.1145\/3698205.3733948"},{"key":"41_CR10","unstructured":"Chen, E., Wang, D., Xu, L., Cao, C., Fang, X., Lin, J.: A systematic review on prompt engineering in large language models for k-12 stem education. arXiv preprint arXiv:2410.11123 (2024)"},{"key":"41_CR11","doi-asserted-by":"publisher","unstructured":"Chen, E.: GPTutor: a ChatGPT-powered programming tool for code explanation. In: Wang, N., Rebolledo-Mendez, G., Dimitrova, V., Matsuda, N., Santos, O.C. (eds.) Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky. AIED 2023. Communications in Computer and Information Science, vol. 1831. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-36336-8_50","DOI":"10.1007\/978-3-031-36336-8_50"},{"issue":"3","key":"41_CR12","first-page":"439","volume":"18","author":"MTH Chi","year":"1994","unstructured":"Chi, M.T.H., de Leeuw, N., Chiu, M.H., LaVancher, C.: Eliciting self-explanations improves understanding. Cogn. Sci. 18(3), 439\u2013477 (1994)","journal-title":"Cogn. Sci."},{"key":"41_CR13","doi-asserted-by":"crossref","unstructured":"Frieder, S., Pinchetti, L.: Mathematical capabilities of ChatGPT. In: Advances in Neural Information Processing Systems, vol. 36 (2024)","DOI":"10.52202\/075280-1205"},{"issue":"4","key":"41_CR14","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1007\/s11858-018-0950-4","volume":"50","author":"T Fujita","year":"2018","unstructured":"Fujita, T., Jones, K., Miyazaki, M.: Learners\u00e2 use of domain-specific computer-based feedback to overcome logical circularity in deductive proving in geometry. ZDM 50(4), 699\u2013713 (2018)","journal-title":"ZDM"},{"issue":"1","key":"41_CR15","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1037\/0022-0167.32.1.47","volume":"32","author":"G Hackett","year":"1985","unstructured":"Hackett, G.: Role of mathematics self-efficacy in the choice of math-related majors of college women and men: a path analysis. J. Couns. Psychol. 32(1), 47 (1985)","journal-title":"J. Couns. Psychol."},{"issue":"1","key":"41_CR16","doi-asserted-by":"publisher","first-page":"62","DOI":"10.5951\/jresematheduc.45.1.0062","volume":"45","author":"M Hodds","year":"2014","unstructured":"Hodds, M., Alcock, L., Inglis, M.: Self-explanation training improves proof comprehension. J. Res. Math. Educ. 45(1), 62\u2013101 (2014)","journal-title":"J. Res. Math. Educ."},{"key":"41_CR17","unstructured":"Khan, S.: Khanmigo (2024)"},{"key":"41_CR18","unstructured":"Li, H., Xu, T.: Bringing generative AI to adaptive learning in education. arXiv preprint arXiv:2402.14601 (2024)"},{"key":"41_CR19","doi-asserted-by":"crossref","unstructured":"Lin, J., Chen, E., Gurung, A., Koedinger, K.R.: Mufin: a framework for automating multimodal feedback generation using generative artificial intelligence. In: Proceedings of the Eleventh ACM Conference on Learning@ Scale, pp. 550\u2013552 (2024)","DOI":"10.1145\/3657604.3664720"},{"key":"41_CR20","unstructured":"Lin, J., Chen, E.: How can i improve? Using GPT to highlight the desired and undesired parts of open-ended responses. In: Proceedings of the 17th International Conference on Educational Data Mining, pp. 236\u2013250 (2024)"},{"key":"41_CR21","doi-asserted-by":"publisher","unstructured":"Liu, C., Hoang, L., Stolman, A., Kizilcec, R.F., Wu, B.: Understanding student engagement with large language model-powered course assistants. In: Cristea, A.I., Walker, E., Lu, Y., Santos, O.C., Isotani, S. (eds.) International Conference on Artificial Intelligence in Education, pp. 3\u201310. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-98465-5_1","DOI":"10.1007\/978-3-031-98465-5_1"},{"issue":"1","key":"41_CR22","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1037\/0022-0663.82.1.33","volume":"82","author":"PR Pintrich","year":"1990","unstructured":"Pintrich, P.R., et al.: Motivational and self-regulated learning components of classroom academic performance. J. Educ. Psychol. 82(1), 33 (1990)","journal-title":"J. Educ. Psychol."},{"key":"41_CR23","doi-asserted-by":"publisher","first-page":"717","DOI":"10.3758\/BF03206553","volume":"36","author":"KJ Preacher","year":"2004","unstructured":"Preacher, K.J., Hayes, A.F.: SPSS and SAS procedures for estimating indirect effects in simple mediation models. Behav. Res. Methods Instrum. Comput. 36, 717\u2013731 (2004)","journal-title":"Behav. Res. Methods Instrum. Comput."},{"key":"41_CR24","doi-asserted-by":"crossref","unstructured":"Schemmer, M., Kuehl, N., Benz, C., Bartos, A., Satzger, G.: Appropriate reliance on AI advice: conceptualization and the effect of explanations. In: Proceedings of the 28th International Conference on Intelligent User Interfaces, pp. 410\u2013422 (2023)","DOI":"10.1145\/3581641.3584066"},{"key":"41_CR25","unstructured":"Schoenfeld, A.: Series editor\u2019s foreword: the soul of mathematics in da stylianou, ml blanton, & ej knuth. Teaching and Learning Proof Across the Grades: A K-16 Perspective (2010)"},{"issue":"3\u20134","key":"41_CR26","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1080\/00461520.1991.9653133","volume":"26","author":"DH Schunk","year":"1991","unstructured":"Schunk, D.H.: Self-efficacy and academic motivation. Educ. Psychol. 26(3\u20134), 207\u2013231 (1991)","journal-title":"Educ. Psychol."},{"issue":"7","key":"41_CR27","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1007\/s11858-019-01087-z","volume":"51","author":"S Stewart","year":"2019","unstructured":"Stewart, S., Thomas, M.O.: Student perspectives on proof in linear algebra. ZDM 51(7), 1069\u20131082 (2019)","journal-title":"ZDM"},{"issue":"1","key":"41_CR28","first-page":"29","volume":"15","author":"WP Thurston","year":"1995","unstructured":"Thurston, W.P.: On proof and progress in mathematics. Learn. Math. 15(1), 29\u201337 (1995)","journal-title":"Learn. Math."},{"issue":"CSCW1","key":"41_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3579605","volume":"7","author":"H Vasconcelos","year":"2023","unstructured":"Vasconcelos, H., J\u00f6rke, M.: Explanations can reduce overreliance on ai systems during decision-making. Proc. ACM Hum. Comput. Interact. 7(CSCW1), 1\u201338 (2023)","journal-title":"Proc. ACM Hum. Comput. Interact."},{"key":"41_CR30","doi-asserted-by":"crossref","unstructured":"Wardat, Y., Tashtoush, M.A., AlAli, R., Jarrah, A.M.: ChatGPT: a revolutionary tool for teaching and learning mathematics. Eurasia J. Math. Sci. Technol. Educ. 19(7), em2286 (2023)","DOI":"10.29333\/ejmste\/13272"},{"issue":"1","key":"41_CR31","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/A:1015535614355","volume":"48","author":"K Weber","year":"2001","unstructured":"Weber, K.: Student difficulty in constructing proofs: the need for strategic knowledge. Educ. Stud. Math. 48(1), 101\u2013119 (2001)","journal-title":"Educ. Stud. Math."},{"issue":"8","key":"41_CR32","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1177\/07356331231191125","volume":"61","author":"TT Wu","year":"2024","unstructured":"Wu, T.T., Lee, H.Y., Li, P.H., Huang, C.N., Huang, Y.M.: Promoting self-regulation progress and knowledge construction in blended learning via ChatGPT-based learning aid. J. Educ. Comput. Res. 61(8), 3\u201331 (2024)","journal-title":"J. Educ. Comput. Res."},{"issue":"1","key":"41_CR33","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1186\/s40561-024-00316-7","volume":"11","author":"C Zhai","year":"2024","unstructured":"Zhai, C., Wibowo, S., Li, L.D.: The effects of over-reliance on ai dialogue systems on students\u2019 cognitive abilities: a systematic review. Smart Learn. Environ. 11(1), 28 (2024)","journal-title":"Smart Learn. Environ."},{"key":"41_CR34","doi-asserted-by":"publisher","unstructured":"Zhao, C.Q., Cao, J., Chen, E., Koedinger, K.R., Lin, J.: SlideItRight: using AI to find relevant slides and provide feedback for open-ended questions. In: Cristea, A.I., Walker, E., Lu, Y., Santos, O.C., Isotani, S. (eds.) International Conference on Artificial Intelligence in Education, pp. 378\u2013392. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-98459-4_27","DOI":"10.1007\/978-3-031-98459-4_27"},{"issue":"1","key":"41_CR35","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1006\/ceps.1999.1016","volume":"25","author":"BJ Zimmerman","year":"2000","unstructured":"Zimmerman, B.J.: Self-efficacy: an essential motive to learn. Contemp. Educ. Psychol. 25(1), 82\u201391 (2000)","journal-title":"Contemp. Educ. Psychol."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Education"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-29763-1_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,26]],"date-time":"2026-06-26T14:42:16Z","timestamp":1782484936000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-29763-1_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,27]]},"ISBN":["9783032297624","9783032297631"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-29763-1_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6,27]]},"assertion":[{"value":"27 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AIED","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Artificial Intelligence in Education","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Seoul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aied2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.aied-conference.org\/2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}