paper-with-me

Papers

Neural Task Synthesis for Visual Programming

2023-05-26 · Victor-Alexandru Pădurean, Georgios Tzannetos, Adish Singla

Generative neural models hold great promise in enhancing programming education by synthesizing new content. We seek to design neural models that can automatically generate programming tasks for a given specification in the context of visual programming domains. Despite the recent successes of large generative models like GPT-4, our initial results show that these models are ineffective in synthesizing visual programming tasks and struggle with logical and spatial reasoning. We propose a novel neuro-symbolic technique, NeurTaskSyn, that can synthesize programming tasks for a specification given in the form of desired programming concepts exercised by its solution code and constraints on the visual task. NeurTaskSyn has two components: the first component is trained via imitation learning procedure to generate possible solution codes, and the second component is trained via reinforcement learning procedure to guide an underlying symbolic execution engine that generates visual tasks for these codes. We demonstrate the effectiveness of NeurTaskSyn through an extensive empirical evaluation and a qualitative study on reference tasks taken from the Hour of Code: Classic Maze challenge by Code-dot-org and the Intro to Programming with Karel course by CodeHS-dot-com.

📄 PDF Abstract BibTeX arXiv:2305.18342

Code (1)

machine-teaching-group/tmlr2024_neurtasksyn 공식 구현 pytorch

Tasks

Imitation LearningSpatial Reasoning

Methods 이 논문이 사용한 방법론

Multi-Head Attention 설명 없음
Attention 설명 없음
Residual Connection 설명 없음
Linear Layer A Linear Layer is a projection $\mathbf{XW + b}$.
Layer Normalization Unlike batch normalization, Layer Normalization directly estimates the normalization statistics from the summed inputs…
BPE Byte Pair Encoding, or BPE, is a subword segmentation algorithm that encodes rare and unknown words as sequences of subword units. The intuition is that various word…
Softmax The Softmax output function transforms a previous layer's output into a vector of probabilities. It is commonly used for multiclass classification. Given an input vector $x$…
Label Smoothing Label Smoothing is a regularization technique that introduces noise for the labels. This accounts for the fact that datasets may have mistakes in them, so maximizing the…

Similar Papers 제목 키워드 기반

Program Synthesis Benchmark for Visual Programming in XLogoOnline Environment

2024-06-17 · Chao Wen, Jacqueline Staub, Adish Singla

Large language and multimodal models have shown remarkable successes on various benchmarks focused on specific skills such as general-purpose programming, natural language understanding, math word problem-solving, and vi…

Logical ReasoningMathMath Word Problem SolvingNatural Language Understanding+3

Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks

2023-05-27 · Alperen Tercan, Ahana Ghosh, Hasan Ferit Eniser, Maria Christakis 외

Block-based visual programming environments play an increasingly important role in introducing computing concepts to K-12 students. In recent years, they have also gained popularity in neuro-symbolic AI, serving as a ben…

Logical Reasoning

From {Solution Synthesis} to {Student Attempt Synthesis} for Block-Based Visual Programming Tasks

2022-05-03 · Adish Singla, Nikitas Theodoropoulos

Block-based visual programming environments are increasingly used to introduce computing concepts to beginners. Given that programming tasks are open-ended and conceptual, novice students often struggle when learning in …

MisconceptionsProgram Synthesis

Choose Your Programming Copilot: A Comparison of the Program Synthesis Performance of GitHub Copilot and Genetic Programming

2021-11-15 · Dominik Sobania, Martin Briesch, Franz Rothlauf

GitHub Copilot, an extension for the Visual Studio Code development environment powered by the large-scale language model Codex, makes automatic program synthesis available for software developers. This model has been ex…

Language ModelingLanguage ModellingProgram Synthesis

Synthesizing Tasks for Block-based Programming

2020-06-17 · NeurIPS 2020 12 · Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez 외

Block-based visual programming environments play a critical role in introducing computing concepts to K-12 students. One of the key pedagogical challenges in these environments is in designing new practice tasks for a st…