{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:49:50Z","timestamp":1755802190888,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T00:00:00Z","timestamp":1739318400000},"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":[[2025,2,12]]},"DOI":"10.1145\/3641554.3701787","type":"proceedings-article","created":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T18:33:41Z","timestamp":1739903621000},"page":"917-923","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Measuring the Impact of Distractors on Student Learning Gains while Using Proof Blocks"],"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"}]},{"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"}]},{"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"}]},{"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"}]},{"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"}]},{"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"}]}],"member":"320","published-online":{"date-parts":[[2025,2,18]]},"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","first-page":"75","article-title":"Students' Errors, Misconceptions, and Cognitive Conflict in Application of Procedures","volume":"12","author":"Behr Merlyn","year":"1990","unstructured":"Merlyn Behr and Guershon Harel. 1990. Students' Errors, Misconceptions, and Cognitive Conflict in Application of Procedures. Focus on Learning Problems in Mathematics, Vol. 12 (1990), 75--84.","journal-title":"Focus on Learning Problems in Mathematics"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10649-014-9544-4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1404520.1404532"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373165.3373187"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502718.3524808"},{"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\/2787622.2787731"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3141880.3141895"},{"key":"e_1_3_2_1_10_1","unstructured":"Margaret M Fleck. 2013. Building Blocks for Theoretical Computer Science (Version 1.3). (2013)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10649-019-09904-8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352135.1352226"},{"key":"e_1_3_2_1_13_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_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2960310.2960314"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/LaTiCE.2013.26"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5951\/jresematheduc.45.1.0062"},{"key":"e_1_3_2_1_17_1","first-page":"119","article-title":"Two-dimensional parson's puzzles: The concept, tools, and first observations. Journal of Information Technology Education","volume":"10","author":"Ihantola Petri","year":"2011","unstructured":"Petri Ihantola and Ville Karavirta. 2011. Two-dimensional parson's puzzles: The concept, tools, and first observations. Journal of Information Technology Education. Innovations in Practice, Vol. 10 (2011), 119.","journal-title":"Innovations in Practice"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11858-013-0502-x"},{"volume-title":"Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science","author":"Association for Computing Machinery (ACM) Joint Task Force on Computing Curricula and IEEE Computer Society. 2013.","key":"e_1_3_2_1_19_1","unstructured":"Association for Computing Machinery (ACM) Joint Task Force on Computing Curricula and IEEE Computer Society. 2013. Computer Science Curricula 2013: Curriculum Guidelines for Undergraduate Degree Programs in Computer Science. Association for Computing Machinery, New York, NY, USA."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1468-2958.2004.tb00738.x"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10649-007-9106-0"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0959-4752(00)00037-2"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1080\/14794802.2011.550719"},{"key":"e_1_3_2_1_24_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_25_1","unstructured":"The Joint Task Force on Computing Curricula. 2014. Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering. Technical Report. New York NY USA."},{"key":"e_1_3_2_1_26_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_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626252.3630831"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3545945.3569797"},{"key":"e_1_3_2_1_29_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. 2023b. 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_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3446871.3469741"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502718.3524774"},{"volume-title":"Evaluating novel pedagogy in higher education: a case study of e-proofs. thesis","author":"Roy Somali","key":"e_1_3_2_1_32_1","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_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3632620.3671114"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576882.3617927"},{"key":"e_1_3_2_1_35_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_36_1","volume-title":"Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1. 924--930","author":"Craig Zilles David H","year":"2023","unstructured":"David H Smith IV and Craig Zilles. 2023. Discovering, Autogenerating, and Evaluating Distractors for Python Parsons Problems in CS1. In Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1. 924--930."},{"key":"e_1_3_2_1_37_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_38_1","doi-asserted-by":"publisher","DOI":"10.5951\/jresematheduc.40.3.0314"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10857-007-9034-z"},{"key":"e_1_3_2_1_40_1","unstructured":"Association for Computing Machinery (ACM) The Joint Task Force on Computing Curricula and IEEE Computer Society. 2016. Curriculum Guidelines for Undergraduate Degree Programs in Computer Engineering. Technical Report. New York NY USA."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015535614355"},{"key":"e_1_3_2_1_42_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_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445228"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.18260\/p.24575"},{"key":"e_1_3_2_1_45_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 TS 2025: The 56th ACM Technical Symposium on Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Pittsburgh PA USA","acronym":"SIGCSE TS 2025"},"container-title":["Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641554.3701787","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3641554.3701787","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T06:29:52Z","timestamp":1755757792000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641554.3701787"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,12]]},"references-count":45,"alternative-id":["10.1145\/3641554.3701787","10.1145\/3641554"],"URL":"https:\/\/doi.org\/10.1145\/3641554.3701787","relation":{},"subject":[],"published":{"date-parts":[[2025,2,12]]},"assertion":[{"value":"2025-02-18","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}