{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T16:43:55Z","timestamp":1779122635756,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T00:00:00Z","timestamp":1709769600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,3,7]]},"DOI":"10.1145\/3626252.3630831","type":"proceedings-article","created":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T18:17:20Z","timestamp":1709835440000},"page":"1056-1062","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Disentangling the Learning Gains from Reading a Book Chapter and Completing Proof Blocks Problems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6284-9972","authenticated-orcid":false,"given":"Seth","family":"Poulsen","sequence":"first","affiliation":[{"name":"Utah State University, Logan, UT, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8818-8172","authenticated-orcid":false,"given":"Yael","family":"Gertner","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1606-0484","authenticated-orcid":false,"given":"Hongxuan","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6500-0835","authenticated-orcid":false,"given":"Benjamin","family":"Cosman","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7605-0050","authenticated-orcid":false,"given":"Matthew","family":"West","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9501-2295","authenticated-orcid":false,"given":"Geoffrey L.","family":"Herman","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,3,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"John Douglas Baker. 1996. Students' Difficulties with Proof by Mathematical Induction. (1996)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10649-014--9544--4"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1404520.1404532"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373165.3373187"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502718.3524808"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502717.3532172"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230977.3231000"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3141880.3141895"},{"key":"e_1_3_2_1_9_1","unstructured":"Margaret M Fleck. 2013. Building Blocks for Theoretical Computer Science (Version 1.3). (2013)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352135.1352226"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/acp.3324"},{"key":"e_1_3_2_1_12_1","article-title":"The development of mathematical induction as a proof scheme: A model for DNR-based instruction. In In S. Campbell & R. Zaskis (Eds.). Learning and Teaching Number Theory","author":"Harel Guershon","year":"2001","unstructured":"Guershon Harel. 2001. The development of mathematical induction as a proof scheme: A model for DNR-based instruction. In In S. Campbell & R. Zaskis (Eds.). Learning and Teaching Number Theory, Journal of Mathematical Behavior. Citeseer.","journal-title":"Journal of Mathematical Behavior. Citeseer."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2960310.2960314"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5951\/jresematheduc.45.1.0062"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11858-013-0502-x"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/jee.20104"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15326985ep4102_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1468-2958.2004.tb00738.x"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10649-007--9106-0"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10648-015--9296--4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1080\/14794802.2011.550719"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/acp.3605"},{"key":"e_1_3_2_1_23_1","volume-title":"International Journal of Research in Undergraduate Mathematics Education","author":"Norton Anderson","year":"2022","unstructured":"Anderson Norton, Rachel Arnold, Vladislav Kokushkin, and Marcie Tiraphatna. 2022. Addressing the Cognitive Gap in Mathematical Induction. International Journal of Research in Undergraduate Mathematics Education (2022), 1--27."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5964\/ejop.v9i4.653"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of the 8th Australasian Conference on Computing Education -","volume":"52","author":"Parsons Dale","year":"2006","unstructured":"Dale Parsons and Patricia Haden. 2006. Parson's Programming Puzzles: A Fun and Effective Learning Tool for First Programming Courses. In Proceedings of the 8th Australasian Conference on Computing Education - Volume 52 (Hobart, Australia) (ACE '06). Australian Computer Society, Inc., AUS, 157--163."},{"key":"e_1_3_2_1_26_1","unstructured":"Seth Poulsen Hongxuan Chen Yael Gertner Benjamin Cosman Matthew West and Geoffrey L Herman. 2023. Measuring the Impact of Distractors on Student Learning Gains while Using Proof Blocks. arXiv:2311.00792 [cs.HC]"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Seth Poulsen Yael Gertner Benjamin Cosman Matthew West and Geoffrey L Herman. 2023. Efficiency of Learning from Proof Blocks Versus Writing Proofs. (2023).","DOI":"10.1145\/3545945.3569797"},{"key":"e_1_3_2_1_28_1","volume-title":"Efficient Feedback and Partial Credit Grading for Proof Blocks Problems. In International Conference on Artificial Intelligence in Education. Springer, 502--514","author":"Poulsen Seth","year":"2023","unstructured":"Seth Poulsen, Shubhang Kulkarni, Geoffrey Herman, and Matthew West. 2023. Efficient Feedback and Partial Credit Grading for Proof Blocks Problems. In International Conference on Artificial Intelligence in Education. Springer, 502--514."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3446871.3469741"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502718.3524774"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"K.A. Rawson J. Dunlosky and S.M. Sciartelli. [n.d.]. The power of successive relearning: Improving performance on course exams and long-term retention. Educational Psychology Review 25 ([n. d.]) 523--548.","DOI":"10.1007\/s10648-013-9240-4"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1745-6916.2006.00012.x"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9280.2006.01693.x"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.1152408"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8721.2007.00500.x"},{"key":"e_1_3_2_1_36_1","volume-title":"Evaluating novel pedagogy in higher education: a case study of e-proofs. thesis","author":"Roy Somali","unstructured":"Somali Roy. 2014. Evaluating novel pedagogy in higher education: a case study of e-proofs. thesis. Loughborough University. \/articles\/thesis\/Evaluating_novel_ pedagogy_in_higher_education_a_case_study_of_e-proofs\/9374297\/1"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576882.3617927"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1. 417--423","author":"David H","year":"2023","unstructured":"David H Smith IV, Max Fowler, and Craig Zilles. 2023. Investigating the Role and Impact of Distractors on Parsons Problems in CS1 Assessments. In Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1. 417--423."},{"key":"e_1_3_2_1_39_1","first-page":"237","article-title":"Research on the teaching and learning of proof: Taking stock and moving forward. In Compendium for Research in Mathematics Education, Jinfa Cai (Ed.). National Council of Teachers of Mathematics","volume":"10","author":"Stylianides GJ","year":"2017","unstructured":"GJ Stylianides, AJ Stylianides, and K Weber. 2017. Research on the teaching and learning of proof: Taking stock and moving forward. In Compendium for Research in Mathematics Education, Jinfa Cai (Ed.). National Council of Teachers of Mathematics, Chapter 10, 237--266.","journal-title":"Chapter"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5951\/jresematheduc.40.3.0314"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10857-007-9034-z"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1111\/cogs.12002"},{"key":"e_1_3_2_1_43_1","volume-title":"Mind in society: The development of higher psychological processes","author":"Vygotsky Lev Semenovich","unstructured":"Lev Semenovich Vygotsky. 1978. Mind in society: The development of higher psychological processes. Harvard university press."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015535614355"},{"key":"e_1_3_2_1_45_1","volume-title":"Proceedings of the 15th Annual Conference on Research In Undergraduate Mathematics Education. Citeseer, 480--495","author":"Weber Keith","year":"2012","unstructured":"Keith Weber, E Fuller, JP Mejia-Ramos, Kristen Lew, Philip Benjamin, and Aron Samkoff. 2012. Do generic proofs improve proof comprehension. In Proceedings of the 15th Annual Conference on Research In Undergraduate Mathematics Education. Citeseer, 480--495."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.18260\/p.24575"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Craig Zilles Matthew West Geoffrey L Herman and Timothy Bretl. 2019. Every University Should Have a Computer-Based Testing Facility. In CSEDU (1). 414--420.","DOI":"10.5220\/0007753304140420"}],"event":{"name":"SIGCSE 2024: The 55th ACM Technical Symposium on Computer Science Education","location":"Portland OR USA","acronym":"SIGCSE 2024","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626252.3630831","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3626252.3630831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T04:35:12Z","timestamp":1755750912000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626252.3630831"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,7]]},"references-count":47,"alternative-id":["10.1145\/3626252.3630831","10.1145\/3626252"],"URL":"https:\/\/doi.org\/10.1145\/3626252.3630831","relation":{},"subject":[],"published":{"date-parts":[[2024,3,7]]},"assertion":[{"value":"2024-03-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}