Referenced Papers (11)
Assisting Teaching Assistants with automatic code corrections
Yana Malysheva, Caitlin L Kelleher
CHI, 2022
"This paper is presented as an example of a system that assists teaching assistants by automatically suggesting code corrections, which helps TAs better guide students through debugging."
Navigating compiler errors with AI assistance - A study of GPT hints in an introductory programming course
Maciej Pankiewicz, Ryan S Baker
Integrating Technology into Computer Science Education, 2024
"This work is cited as an example of using GPT-generated hints to help students with coding challenges, which introduces the speaker's research problem of ensuring AI-generated hints are correct."
Solving Witness-type triangle puzzles faster with an automatically learned human-explainable predicate
J Stevens, V Bulitko, David Thue
ArXiv, 2023
"The speaker cites his own master's research, which involved developing a system to identify forced moves in 'The Witness' puzzles that could be used to generate hints for players."
Cognitive AI-driven Recommendations for Improving Human Search Behavior in Optimal Stopping Problems
Bugbee
AAAI Collaborative AI Workshop
"This paper is cited as an example of research finding that partial hints are more effective for learning than always providing the correct answer, supporting the speaker's pedagogical approach."
Satisfiability-aided language models using declarative prompting
Xi Ye, Qiaochu Chen, Işıl Dillig, Greg Durrett
Neural Inf Process Syst, 2023
"This paper is cited to demonstrate a method that combines large language models with more reliable SAT solvers to verify the output of logic puzzles, supporting the speaker's interest in formal verification for AI-generated content."
Legal and ethical considerations regarding the use of ChatGPT in education
Fereniki Panagopoulou, Christina Parpoula, Kostas Karpouzis
arXiv [cs.CY], 2023
"This work is cited to provide a framework for the importance of explainable AI in Intelligent Tutoring Systems, highlighting benefits like transparency, trust, and adaptation."
Toward personalized XAI: A case study in intelligent tutoring systems
Cristina Conati, Oswald Barral, Vanessa Putnam, Lea Rieger
Artif. Intell., 2021
"The speaker cites this paper to emphasize the importance of personalizing explainable AI in tutoring systems, aligning with his goal of tailoring educational experiences to individual learners."
Portability and explainability of synthesized formula-based heuristics
V Bulitko, Shuwei Wang, Justin Stevens, Levi H S Lelis
Symp Comb Search, 2022
"The speaker cites his own prior work to demonstrate his background in explainable AI and program synthesis, which is foundational to his research on creating understandable and verifiable hint systems."
The Maximum Number of Sets for 12 Cards is 14
Justin Stevens, Duncan Wilson
ArXiv, 2025
"The speaker cites this recent preprint on the card game Set to demonstrate his work in applying formal methods to understand and solve problems in various game domains."
Metaphor and analogy in everyday problem solving
Lucas A Keefer, Mark J Landau
Wiley Interdiscip. Rev. Cogn. Sci., 2016
"This work is cited to support the pedagogical principle that using analogies helps students remember information more effectively and improves their problem-solving skills."
Increased Diels-Alderase activity through backbone remodeling guided by Foldit players
Christopher B Eiben, Justin B Siegel, Jacob B Bale, Seth Cooper, Firas Khatib, Betty W Shen
Nat. Biotechnol., 2012
"The speaker cites this paper to support the idea that analogies can be personalized, a key component of the advanced educational AI systems he proposes to build."