paper-with-me

Papers

Assertion Enhanced Few-Shot Learning: Instructive Technique for Large Language Models to Generate Educational Explanations

2023-12-05 · Tasmia Shahriar, Kelly Ramos, Noboru Matsuda

Human educators possess an intrinsic ability to anticipate and seek educational explanations from students, which drives them to pose thought-provoking questions when students cannot articulate these explanations independently. We aim to imbue Intelligent Tutoring Systems with this ability using few-shot learning capability of Large Language Models. Our work proposes a novel prompting technique, Assertion Enhanced Few-Shot Learning, to facilitate the generation of accurate, detailed oriented educational explanations. Our central hypothesis is that, in educational domain, few-shot demonstrations are necessary but not a sufficient condition for quality explanation generation. We conducted a study involving 12 in-service teachers, comparing our approach to Traditional Few-Shot Learning. The results show that Assertion Enhanced Few-Shot Learning improves explanation accuracy by 15% and yields higher-quality explanations, as evaluated by teachers. We also conduct a qualitative ablation study to factor the impact of assertions to provide educator-friendly prompting guidelines for generating explanations in their domain of interest.

📄 PDF Abstract BibTeX arXiv:2312.03122

Code (0)

등록된 구현이 없습니다.

Tasks

Explanation GenerationFew-Shot Learning

Similar Papers 제목 키워드 기반

ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code

2024-11-25 · Mohammad Jalili Torkamani, Abhinav Sharma, Nikita Mehrotra, Rahul Purandare

Production assertions are statements embedded in the code to help developers validate their assumptions about the code. They assist developers in debugging, provide valuable documentation, and enhance code comprehension.…

Few-Shot LearningPrompt Engineering

Assertion Detection Large Language Model In-context Learning LoRA Fine-tuning

2024-01-31 · Yuelyu Ji, Zeshui Yu, Yanshan Wang

In this study, we aim to address the task of assertion detection when extracting medical concepts from clinical notes, a key process in clinical natural language processing (NLP). Assertion detection in clinical NLP usua…

In-Context LearningLanguage ModelingLanguage ModellingLarge Language Model

(Security) Assertions by Large Language Models

2023-06-24 · Rahul Kande, Hammond Pearce, Benjamin Tan, Brendan Dolan-Gavitt 외

The security of computer systems typically relies on a hardware root of trust. As vulnerabilities in hardware can have severe implications on a system, there is a need for techniques to support security verification acti…

Code Generation

Laurel: Unblocking Automated Verification with Large Language Models

2024-05-27 · Eric Mugnier, Emmanuel Anaya Gonzalez, Ranjit Jhala, Nadia Polikarpova 외

Program verifiers such as Dafny automate proofs by outsourcing them to an SMT solver. This automation is not perfect, however, and the solver often requires hints in the form of assertions, creating a burden for the proo…

LEMMA

Coverage-Driven RTL Assertion Generation with Formal Exploration and Neuro-Symbolic Refinement

2026-08-19 · Zhiyuan Yan, Ziyue Zheng, Hongce Zhang arxiv

Hardware functional verification relies on high-quality assertions to expose design bugs and establish confidence in Register Transfer Level (RTL) designs. Yet existing assertion mining methods still struggle to produce …