{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:49:10Z","timestamp":1755802150128,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":50,"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-sa\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2336805"],"award-info":[{"award-number":["2336805"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,2,12]]},"DOI":"10.1145\/3641554.3701854","type":"proceedings-article","created":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T09:19:36Z","timestamp":1740043176000},"page":"589-595","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Satisfactory for All: Supporting Mastery Learning with Human-in-the-loop Assessments in a Discrete Math Course"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0647-2837","authenticated-orcid":false,"given":"Shao-Heng","family":"Ko","sequence":"first","affiliation":[{"name":"Duke University, Durham, NC, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-5932-7098","authenticated-orcid":false,"given":"Alex","family":"Chao","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-7050-3906","authenticated-orcid":false,"given":"Violet","family":"Pang","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,2,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626253.3635621"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"Andrew Berns J. Philip East and J. Ben Schafer. 2021. Grading for Equity: A Curriculum Development and Grading Process to Enhance Instruction. In ACM SIGCSE TS. 1351. https:\/\/doi.org\/10.1145\/3408877.3432503","DOI":"10.1145\/3408877.3432503"},{"key":"e_1_3_2_1_3_1","volume-title":"Number 1. Evaluation comment","author":"Bloom Benjamin S","year":"1968","unstructured":"Benjamin S Bloom. 1968. Learning for Mastery. Instruction and Curriculum. Regional Education Laboratory for the Carolinas and Virginia, Topical Papers and Reprints, Number 1. Evaluation comment, Vol. 1, 2 (1968), n2. https:\/\/eric.ed.gov\/?id=ED053419"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"Jennifer Campbell Andrew Petersen and Jacqueline Smith. 2019. Self-paced Mastery Learning CS1. In ACM SIGCSE TS. 955--961. https:\/\/doi.org\/10.1145\/3287324.3287481","DOI":"10.1145\/3287324.3287481"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502718.3524750"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/10511970.2020.1733151"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1119\/1.1374249"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626252.3630953"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3593342.3593344"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","unstructured":"Robert L. Scot Drysdale. 2011. Mathematical induction is a recursive technique. In ACM SIGCSE TS. 269--274. https:\/\/doi.org\/10.1145\/1953163.1953246","DOI":"10.1145\/1953163.1953246"},{"key":"e_1_3_2_1_11_1","unstructured":"Duke CompSci230 SP24 Course Website. 2024. https:\/\/sites.duke.edu\/compsci230sp2024\/."},{"key":"e_1_3_2_1_12_1","unstructured":"Joe Feldman. 2018. Grading for equity: What it is why it matters and how it can transform schools and classrooms."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1037\/h0031619"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","unstructured":"Dan Garcia Maria Camarena Kevin Lin and Jill Westerlund. 2023. Equitable Grading Best Practices. In ACM SIGCSE TS. 1200--1201. https:\/\/doi.org\/10.1145\/3545947.3569602","DOI":"10.1145\/3545947.3569602"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","unstructured":"Dan Garcia Armando Fox Solomon Russell Edwin Ambrosio Neal Terrell Mariana Silva Matthew West Craig B. Zilles and Fuzail Shakir. 2023. A's for All (As Time and Interest Allow). In ACM SIGCSE TS. 1042--1048. https:\/\/doi.org\/10.1145\/3545945.3569847","DOI":"10.1145\/3545945.3569847"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3545947.3569599"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3491140.3528289"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3491140.3528260"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3545947.3569633"},{"key":"e_1_3_2_1_20_1","unstructured":"Gradescope. 2024. https:\/\/www.gradescope.com\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445983"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1080\/08993408.2020.1860408"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","unstructured":"Brian Harrington Abdalaziz Galal Rohita Nalluri Faiza Nasiha and Anagha Vadarevu. 2024. Specifications and Contract Grading in Computer Science Education. In ACM SIGCSE TS. 477--483. https:\/\/doi.org\/10.1145\/3626252.3630929","DOI":"10.1145\/3626252.3630929"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3231711"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626253.3633426"},{"key":"e_1_3_2_1_26_1","unstructured":"Kevin Lin. 2022. Specifications Grading Policies. https:\/\/kevinl.info\/specifications-grading-policies\/"},{"key":"e_1_3_2_1_27_1","unstructured":"Kevin Lin. 2024. Alternative Grading. https:\/\/kevinl.info\/alternative-grading\/"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3545947.3569634"},{"key":"e_1_3_2_1_29_1","unstructured":"Linda B Nilson and Claudia J Stanny. 2015. Specifications grading: Restoring rigor motivating students and saving faculty time."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","unstructured":"Claudia Ott Brendan McCane and Nick Meek. 2021. Mastery Learning in CS1 - An Invitation to Procrastinate?: Reflecting on Six Years of Mastery Learning. In ACM ITiCSE. 18--24. https:\/\/doi.org\/10.1145\/3430665.3456321","DOI":"10.1145\/3430665.3456321"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","unstructured":"Leah Perlmutter Jayne Everson Ken Yasuhara Brett Wortzman and Kevin Lin. 2022. Reading Between the Lines: Student Experiences of Resubmission in an Introductory CS Course. In ACM SIGCSE TS. 1137. https:\/\/doi.org\/10.1145\/3478432.3499112","DOI":"10.1145\/3478432.3499112"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3626252.3630928"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","unstructured":"Seth Poulsen Mahesh Viswanathan Geoffrey L. Herman and Matthew West. 2021. Evaluating Proof Blocks Problems as Exam Questions. In ACM ICER. 157--168. https:\/\/doi.org\/10.1145\/3446871.3469741","DOI":"10.1145\/3446871.3469741"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502718.3524774"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5840\/teachphil201134447"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","unstructured":"Jordan Schwartz Madison Bohannan Jacob Yim Yuerou Tang Dana Benedicto Charisse Liu Armando Fox Lisa Yan and Narges Norouzi. 2024. Automated Support for Flexible Extensions. In ACM SIGCSE TS. 1810--1811. https:\/\/doi.org\/10.1145\/3626253.3635628","DOI":"10.1145\/3626253.3635628"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","unstructured":"Aayush Shah Alan Lee Chris Chi Ruiwei Xiao Pranav Sukumar Jesus Villalobos and Dan Garcia. 2022. Improved Testing of PrairieLearn Question Generators. In ACM SIGCSE TS. 1165. https:\/\/doi.org\/10.1145\/3478432.3499113","DOI":"10.1145\/3478432.3499113"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3632620.3671100"},{"key":"e_1_3_2_1_39_1","first-page":"9","article-title":"Experience report: preemptive final exams for computer science theory classes","volume":"35","author":"Shindler Michael","year":"2020","unstructured":"Michael Shindler, Matt Ferland, Aaron Cote, and Olivera Grujic. 2020. Experience report: preemptive final exams for computer science theory classes. J. Comput. Sci. Coll., Vol. 35, 10 (2020), 9--14. https:\/\/dl.acm.org\/doi\/10.5555\/3417699.3417700","journal-title":"J. Comput. Sci. Coll."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","unstructured":"Th\u00e9r\u00e8se Smith and Robert McCartney. 2014. Computer science students' concepts of proof by induction. In ACM Koli Calling. 51--60. https:\/\/doi.org\/10.1145\/2674683.2674696","DOI":"10.1145\/2674683.2674696"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1080\/10511970.2017.1408044"},{"key":"e_1_3_2_1_42_1","unstructured":"Kristin Stephens-Martinez. 2022. Soft hard and late deadlines (or another failed experiment). https:\/\/ksm-cs.blogspot.com\/2022\/02\/soft-hard-and-late-deadlines-or-another.html"},{"key":"e_1_3_2_1_43_1","unstructured":"Robert Talbert. 2022. Grading in my Discrete Mathematics class: a 3x3x3 reflection. https:\/\/rtalbert.org\/grading-in-my-discrete-mathematics-class-a-3x3x3-reflection\/"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","unstructured":"Yuerou Tang Jacob Yim Jordan Schwartz Madison Bohannan Dana Benedicto Charisse Liu Armando Fox Lisa Yan and Narges Norouzi. 2024. Supporting Mastery Learning with Flexible Extensions. In ACM SIGCSE TS. 1834--1835. https:\/\/doi.org\/10.1145\/3626253.3635615","DOI":"10.1145\/3626253.3635615"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3197091.3197144"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","unstructured":"Ella Tuson and Tim Hickey. 2022. Mastery Learning and Specs Grading in Discrete Math. In ACM ITiCSE. 19--25. https:\/\/doi.org\/10.1145\/3502718.3524766","DOI":"10.1145\/3502718.3524766"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3545945.3569853"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","unstructured":"Robbie Weber. 2023. Using Alternative Grading in a Non-Major Algorithms Course. In ACM SIGCSE TS. 638--644. https:\/\/doi.org\/10.1145\/3545945.3569765","DOI":"10.1145\/3545945.3569765"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.18260\/p.24575"},{"key":"e_1_3_2_1_50_1","unstructured":"Chenyan Zhao Mariana Silva and Seth Poulsen. 2024. Autograding Mathematical Induction Proofs with Natural Language Processing. arxiv: 2406.10268 [cs.AI] https:\/\/arxiv.org\/abs\/2406.10268"}],"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.3701854","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3641554.3701854","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T06:32:19Z","timestamp":1755757939000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641554.3701854"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,12]]},"references-count":50,"alternative-id":["10.1145\/3641554.3701854","10.1145\/3641554"],"URL":"https:\/\/doi.org\/10.1145\/3641554.3701854","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"}}]}}