{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T05:04:59Z","timestamp":1771045499374,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,2]],"date-time":"2023-03-02T00:00:00Z","timestamp":1677715200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,3,2]]},"DOI":"10.1145\/3545945.3569797","type":"proceedings-article","created":{"date-parts":[[2023,3,3]],"date-time":"2023-03-03T23:40:27Z","timestamp":1677886827000},"page":"472-478","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Efficiency of Learning from Proof Blocks Versus Writing Proofs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6284-9972","authenticated-orcid":false,"given":"Seth","family":"Poulsen","sequence":"first","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":[[2023,3,3]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The 11th Conference for Research on Undergraduate Mathematics Education. 1--19","author":"Brown Stacy A.","year":"2008","unstructured":"Stacy A. Brown. 2008. Exploring epistemological obstacles to the development of mathematics induction. In The 11th Conference for Research on Undergraduate Mathematics Education. 1--19."},{"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":"crossref","unstructured":"Elizabeth G Creamer. 2017. An introduction to fully integrated mixed methods research. sage publications.","DOI":"10.4135\/9781071802823"},{"key":"e_1_3_2_1_4_1","volume-title":"Designing and conducting mixed methods research","author":"Creswell John W.","year":"2006","unstructured":"John W. Creswell. 2007. Designing and conducting mixed methods research. SAGE Publications, Thousand Oaks, Calif. 2006008436"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1404520.1404532"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373165.3373187"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502717.3532172"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230977.3231000"},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/1352135.1352226"},{"key":"e_1_3_2_1_11_1","unstructured":"Guershon Harel. 2001. The development of mathematical induction as a proof scheme: A model for DNR-based instruction. In In. Citeseer."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5951\/jresematheduc.45.1.0062"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11858-013-0502-x"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1468-2958.2004.tb00738.x"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10649-007-9106-0"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1080\/14794802.2011.550719"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmathb.2017.03.002"},{"key":"e_1_3_2_1_18_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_19_1","doi-asserted-by":"publisher","unstructured":"Seth Poulsen Shubhang Kulkarni Geoffrey Herman and Matthew West. 2022a. Efficient Partial Credit Grading of Proof Blocks Problems. https:\/\/doi.org\/10.48550\/ARXIV.2204.04196","DOI":"10.48550\/ARXIV.2204.04196"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3446871.3469741"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502718.3524774"},{"key":"e_1_3_2_1_22_1","volume-title":"The Use of Models in Teaching Proof by Mathematical Induction","author":"Ron Gila","year":"2004","unstructured":"Gila Ron and Tommy Dreyfus. 2004. The Use of Models in Teaching Proof by Mathematical Induction. International Group for the Psychology of Mathematics Education (2004)."},{"key":"e_1_3_2_1_23_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_24_1","doi-asserted-by":"publisher","DOI":"10.5948\/UPO9780883859759.009"},{"key":"e_1_3_2_1_25_1","volume-title":"The second handbook of research on the psychology of mathematics education","author":"Stylianides Andreas J","unstructured":"Andreas J Stylianides, Kristen N Bieda, and Francesca Morselli. 2016. Proof and argumentation in mathematics education research. In The second handbook of research on the psychology of mathematics education. Brill Sense, 315--351."},{"key":"e_1_3_2_1_26_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_27_1","doi-asserted-by":"publisher","DOI":"10.5951\/jresematheduc.40.3.0314"},{"key":"e_1_3_2_1_28_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_29_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015535614355"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:EDUC.0000040410.57253.a1"},{"key":"e_1_3_2_1_31_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_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411764.3445228"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.18260\/p.24575"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.22237\/jmasm\/1551905677"},{"key":"e_1_3_2_1_35_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 2023: The 54th ACM Technical Symposium on Computer Science Education","location":"Toronto ON Canada","acronym":"SIGCSE 2023","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545945.3569797","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3545945.3569797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:19Z","timestamp":1750182679000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3545945.3569797"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,2]]},"references-count":35,"alternative-id":["10.1145\/3545945.3569797","10.1145\/3545945"],"URL":"https:\/\/doi.org\/10.1145\/3545945.3569797","relation":{},"subject":[],"published":{"date-parts":[[2023,3,2]]},"assertion":[{"value":"2023-03-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}