中文
相关论文

相关论文: Synthesizing Tasks for Block-based Programming

200 篇论文

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 benchmark to evaluate…

人工智能 · 计算机科学 2023-05-30 Alperen Tercan , Ahana Ghosh , Hasan Ferit Eniser , Maria Christakis , 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…

机器学习 · 计算机科学 2024-01-17 Victor-Alexandru Pădurean , Georgios Tzannetos , Adish Singla

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 these environments.…

人工智能 · 计算机科学 2023-03-30 Adish Singla , Nikitas Theodoropoulos

Block-based programming environments are increasingly used to introduce computing concepts to beginners. However, novice students often struggle in these environments, given the conceptual and open-ended nature of programming tasks. To…

人工智能 · 计算机科学 2023-03-30 Ahana Ghosh , Sebastian Tschiatschek , Sam Devlin , Adish Singla

While visualizations play a crucial role in gaining insights from data, generating useful visualizations from a complex dataset is far from an easy task. Besides understanding the functionality provided by existing visualization libraries,…

编程语言 · 计算机科学 2019-11-22 Chenglong Wang , Yu Feng , Rastislav Bodik , Alvin Cheung , Isil Dillig

Program synthesis is the process of automatically translating a specification into computer code. Traditional synthesis settings require a formal, precise specification. Motivated by computer education applications where a student learns to…

人工智能 · 计算机科学 2018-06-05 Evan Hernandez , Ara Vartanian , Xiaojin Zhu

Unlike language tasks, where the output space is usually limited to a set of tokens, the output space of visual tasks is more complicated, making it difficult to build a unified visual model for various visual tasks. In this paper, we seek…

计算机视觉与模式识别 · 计算机科学 2023-02-15 Jia Ning , Chen Li , Zheng Zhang , Zigang Geng , Qi Dai , Kun He , Han Hu

In recent years, the XLogoOnline programming platform has gained popularity among novice learners. It integrates the Logo programming language with visual programming, providing a visual interface for learning computing concepts. However,…

人机交互 · 计算机科学 2024-05-06 Chao Wen , Ahana Ghosh , Jacqueline Staub , Adish Singla

In this paper, we explore the potential of visual in-context learning to enable a single model to handle multiple tasks and adapt to new tasks during test time without re-training. Unlike previous approaches, our focus is on training…

计算机视觉与模式识别 · 计算机科学 2025-07-03 Simon Reiß , Zdravko Marinov , Alexander Jaus , Constantin Seibold , M. Saquib Sarfraz , Erik Rodner , Rainer Stiefelhagen

In recent years, deep learning techniques have been developed to improve the performance of program synthesis from input-output examples. Albeit its significant progress, the programs that can be synthesized by state-of-the-art approaches…

机器学习 · 计算机科学 2018-03-09 Xinyun Chen , Chang Liu , Dawn Song

Many programming problems call for turning geometrical thoughts into code: tables, hierarchical structures, nests of objects, trees, forests, graphs, and so on. Linear text does not do justice to such thoughts. But, it has been the dominant…

编程语言 · 计算机科学 2020-10-27 Leif Andersen , Michael Ballantyne , Matthias Felleisen

Program synthesis aims to automatically construct human-readable programs that satisfy given task specifications, such as input/output pairs or demonstrations. Recent works have demonstrated encouraging results in a variety of domains, such…

软件工程 · 计算机科学 2023-03-13 Linghan Zhong , Ryan Lindeborg , Jesse Zhang , Joseph J. Lim , Shao-Hua Sun

Computer programming is among the fundamental aspects of computer science curriculum. Many students first introduced to introductory computer programming courses experience difficulties in learning and comprehending. Vast amount of…

编程语言 · 计算机科学 2014-08-13 Ally S. Nyamawe

Recent years have seen the proposal of a number of neural architectures for the problem of Program Induction. Given a set of input-output examples, these architectures are able to learn mappings that generalize to new test inputs. While…

人工智能 · 计算机科学 2016-11-08 Emilio Parisotto , Abdel-rahman Mohamed , Rishabh Singh , Lihong Li , Dengyong Zhou , Pushmeet Kohli

We propose a novel approach to program synthesis, focusing on synthesizing database queries. At a high level, our proposed algorithm takes as input a sketch with soft constraints encoding user intent, and then iteratively interacts with the…

编程语言 · 计算机科学 2021-10-12 Osbert Bastani , Xin Zhang , Armando Solar-Lezama

Developing an algorithm for a visualization prototype often involves the direct comparison of different development stages and design decisions, and even minor modifications may dramatically affect the results. While existing development…

软件工程 · 计算机科学 2020-01-08 Fabian Bolte , Stefan Bruckner

Effective human-robot collaboration requires the ability to learn personalized concepts from a limited number of demonstrations, while exhibiting inductive generalization, hierarchical composition, and adaptability to novel constraints.…

Visuals are valuable tools for teaching math word problems (MWPs), helping young learners interpret textual descriptions into mathematical expressions before solving them. However, creating such visuals is labor-intensive and there is a…

计算与语言 · 计算机科学 2025-06-05 Junling Wang , Anna Rutkiewicz , April Yi Wang , Mrinmaya Sachan

General visualization recommendation systems typically make design decisions for the dataset automatically. However, most of them can only prune meaningless visualizations but fail to recommend targeted results. This paper contributes…

人机交互 · 计算机科学 2022-09-15 Leixian Shen , Enya Shen , Zhiwei Tai , Yihao Xu , Jianmin Wang

Automatically constructing a program based on given specifications has been studied for decades. Despite the advances in the field of Program Synthesis, the current approaches still synthesize a block of code snippet and leave the task of…

软件工程 · 计算机科学 2022-01-26 Ali Shokri
‹ 上一页 1 2 3 10 下一页 ›