Proof Blocks-Reference-Cited by-同舟云学术

Proof Blocks

Published:2022-07-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1
language:
Short-container-title:

Author:

Poulsen Seth¹,Viswanathan Mahesh¹,Herman Geoffrey L.¹,West Matthew¹

Affiliation:

1. University of Illinois at Urbana-Champaign, Champaign, IL, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3502718.3524774

Reference27 articles.

1. 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.

2. 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.

3. Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book

4. Jape: A calculator for animating proof-on-paper

5. Visual Theorem Proving with the Incredible Proof Machine

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Distractors Make You Pay Attention: Investigating the Learning Outcomes of Including Distractor Blocks in Parsons Problems;Proceedings of the 2024 ACM Conference on International Computing Education Research - Volume 1;2024-08-12

2. CodeTailor: LLM-Powered Personalized Parsons Puzzles for Engaging Support While Learning Programming;Proceedings of the Eleventh ACM Conference on Learning @ Scale;2024-07-09

3. Solving Proof Block Problems Using Large Language Models;Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1;2024-03-07

4. Disentangling the Learning Gains from Reading a Book Chapter and Completing Proof Blocks Problems;Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1;2024-03-07

5. Generating Multi-Part Autogradable Faded Parsons Problems From Code-Writing Exercises;Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1;2024-03-07