{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T05:04:21Z","timestamp":1771045461694,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T00:00:00Z","timestamp":1657152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,7]]},"DOI":"10.1145\/3502718.3524774","type":"proceedings-article","created":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T10:28:30Z","timestamp":1657189710000},"page":"428-434","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Proof Blocks"],"prefix":"10.1145","author":[{"given":"Seth","family":"Poulsen","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, IL, USA"}]},{"given":"Mahesh","family":"Viswanathan","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, IL, USA"}]},{"given":"Geoffrey L.","family":"Herman","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, IL, USA"}]},{"given":"Matthew","family":"West","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Champaign, IL, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,7,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"proc. of 9th Internation Joint Conference on Artificial Intelligence.","author":"Anderson References","year":"1985","unstructured":"References [1] JR Anderson , CF Boyle , and G Yost . 1985 . The Geometry Tutor , proc. of 9th Internation Joint Conference on Artificial Intelligence. References [1] JR Anderson, CF Boyle, and G Yost. 1985. The Geometry Tutor, proc. of 9th Internation Joint Conference on Artificial Intelligence."},{"key":"e_1_3_2_1_2_1","volume-title":"Cognitive tutors: Lessons learned. The journal of the learning sciences 4, 2","author":"Anderson John R","year":"1995","unstructured":"John R Anderson , Albert T Corbett , Kenneth R Koedinger , and Ray Pelletier . 1995. Cognitive tutors: Lessons learned. The journal of the learning sciences 4, 2 ( 1995 ), 167--207. John R Anderson, Albert T Corbett, Kenneth R Koedinger, and Ray Pelletier. 1995. Cognitive tutors: Lessons learned. The journal of the learning sciences 4, 2 (1995), 167--207."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9072-3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63104-6_41"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-43144-4_8"},{"key":"e_1_3_2_1_6_1","volume-title":"Discrete mathematics: mathematical reasoning and proof with puzzles, patterns, and games","author":"Ensley Douglas E","unstructured":"Douglas E Ensley and J Winston Crawley . 2005. Discrete mathematics: mathematical reasoning and proof with puzzles, patterns, and games . John Wiley & Sons . Douglas E Ensley and J Winston Crawley. 2005. Discrete mathematics: mathematical reasoning and proof with puzzles, patterns, and games. John Wiley & Sons."},{"key":"e_1_3_2_1_7_1","volume-title":"The computer boys take over: Computers, programmers, and the politics of technical expertise","author":"Ensmenger Nathan L","unstructured":"Nathan L Ensmenger . 2012. The computer boys take over: Computers, programmers, and the politics of technical expertise . Mit Press . Nathan L Ensmenger. 2012. The computer boys take over: Computers, programmers, and the politics of technical expertise. Mit Press."},{"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","doi-asserted-by":"publisher","DOI":"10.1109\/BLOCKS.2015.7369000"},{"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","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.","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 . 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_12_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog1404_2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2702123.2702302"},{"key":"e_1_3_2_1_14_1","volume-title":"A pilot study of the use of LogEx, lessons learned. arXiv:1507.03671 [cs] (July","author":"Lodder Josje","year":"2015","unstructured":"Josje Lodder , Bastiaan Heeren , and Johan Jeuring . 2015. A pilot study of the use of LogEx, lessons learned. arXiv:1507.03671 [cs] (July 2015 ). http:\/\/arxiv.org\/abs\/ 1507.03671 arXiv: 1507.03671. Josje Lodder, Bastiaan Heeren, and Johan Jeuring. 2015. A pilot study of the use of LogEx, lessons learned. arXiv:1507.03671 [cs] (July 2015). http:\/\/arxiv.org\/abs\/ 1507.03671 arXiv: 1507.03671."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1111\/jcal.12365"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.313.2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868358.1868363"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s40593-016-0112-1"},{"key":"e_1_3_2_1_19_1","volume-title":"Artificial Intelligence in Education, Cristina Conati, Neil Heffernan, Antonija Mitrovic, and M","author":"Mostafavi Behrooz","year":"1977","unstructured":"Behrooz Mostafavi , Guojing Zhou , Collin Lynch , Min Chi , and Tiffany Barnes . 2015. Data-Driven Worked Examples Improve Retention and Completion in a Logic Tutor . In Artificial Intelligence in Education, Cristina Conati, Neil Heffernan, Antonija Mitrovic, and M . Felisa Verdejo (Eds.). Vol. 9112 . Springer International Publishing , Cham , 726--729. http:\/\/link.springer.com\/10.1007\/978--3--319-- 1977 3- 9_102 Series Title : Lecture Notes in Computer Science. Behrooz Mostafavi, Guojing Zhou, Collin Lynch, Min Chi, and Tiffany Barnes. 2015. Data-Driven Worked Examples Improve Retention and Completion in a Logic Tutor. In Artificial Intelligence in Education, Cristina Conati, Neil Heffernan, Antonija Mitrovic, and M. Felisa Verdejo (Eds.). Vol. 9112. Springer International Publishing, Cham, 726--729. http:\/\/link.springer.com\/10.1007\/978--3--319--19773- 9_102 Series Title: Lecture Notes in Computer Science."},{"key":"e_1_3_2_1_21_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. 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_22_1","unstructured":"Seth Poulsen Shubhang Kulkarni Geoffrey Herman and Matthew West. 2022. Efficient Partial Credit Grading of Proof Blocks Problems. https:\/\/doi.org\/10. 48550\/ARXIV.2204.04196  Seth Poulsen Shubhang Kulkarni Geoffrey Herman and Matthew West. 2022. Efficient Partial Credit Grading of Proof Blocks Problems. https:\/\/doi.org\/10. 48550\/ARXIV.2204.04196"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3446871.3469741"},{"key":"e_1_3_2_1_24_1","first-page":"3","article-title":"Ims learning tools interoperability: Enabling a mash-up approach to teaching and learning tools","volume":"7","author":"Severance Charles","year":"2010","unstructured":"Charles Severance , Ted Hanss , and Josepth Hardin . 2010 . Ims learning tools interoperability: Enabling a mash-up approach to teaching and learning tools . Technology, Instruction, Cognition and Learning 7 , 3 -- 4 (2010), 245--262. Charles Severance, Ted Hanss, and Josepth Hardin. 2010. Ims learning tools interoperability: Enabling a mash-up approach to teaching and learning tools. Technology, Instruction, Cognition and Learning 7, 3--4 (2010), 245--262.","journal-title":"Technology, Instruction, Cognition and Learning"},{"key":"e_1_3_2_1_25_1","unstructured":"PrairieLearn Team. 2021. pl-order-blocks Documentation. https:\/\/prairielearn. readthedocs.io\/en\/latest\/elements\/#pl-order-blocks-element  PrairieLearn Team. 2021. pl-order-blocks Documentation. https:\/\/prairielearn. readthedocs.io\/en\/latest\/elements\/#pl-order-blocks-element"},{"key":"e_1_3_2_1_26_1","unstructured":"PrairieLearn Team. 2021. PrairieLearn Documentation. https:\/\/prairielearn. readthedocs.io\/en\/latest\/  PrairieLearn Team. 2021. PrairieLearn Documentation. https:\/\/prairielearn. readthedocs.io\/en\/latest\/"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3328778.3372639"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771839.2771860"}],"event":{"name":"ITiCSE 2022: Innovation and Technology in Computer Science Education","location":"Dublin Ireland","acronym":"ITiCSE 2022","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3502718.3524774","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3502718.3524774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:46Z","timestamp":1750183786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3502718.3524774"}},"subtitle":["Autogradable Scaffolding Activities for Learning to Write Proofs"],"short-title":[],"issued":{"date-parts":[[2022,7,7]]},"references-count":27,"alternative-id":["10.1145\/3502718.3524774","10.1145\/3502718"],"URL":"https:\/\/doi.org\/10.1145\/3502718.3524774","relation":{},"subject":[],"published":{"date-parts":[[2022,7,7]]},"assertion":[{"value":"2022-07-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}