English
Related papers

Related papers: On Requirements for Programming Exercises from an …

200 papers

Reasoning models (RMs), language models (LMs) trained with reinforcement learning to produce long-form natural language reasoning, have been remarkably successful, but they still require large amounts of computation and data to train, and…

Computation and Language · Computer Science 2025-10-27 Cedegao E. Zhang , Cédric Colas , Gabriel Poesia , Joshua B. Tenenbaum , Jacob Andreas

Workplaces of the future require advanced competence profiles from employees, not least due to new options for teleworking and new complex digital tools. The acquisition of advanced competence profiles is to be addressed by formal…

Computers and Society · Computer Science 2022-09-05 Sebastian Damek , Heinrich Söbke , Franziska Weise , Maria Reichelt

The article analyzes the historical aspect of the formation of computer modeling as one of the perspective directions of educational process development. The notion of "system of computer modeling", conceptual model of system of computer…

Other Computer Science · Computer Science 2020-05-18 Svitlana H. Lytvynova

Mathematical reasoning is regarded as a necessary ability for Language Models (LMs). Recent works demonstrate large LMs' impressive performance in solving math problems. The success is attributed to their Chain-of-Thought (CoT) reasoning…

Computation and Language · Computer Science 2023-06-08 Tianduo Wang , Wei Lu

Background: In times when the ability to program is becoming increasingly important, it is still difficult to teach students to become successful programmers. One remarkable aspect are recent findings from neuro-imaging studies, which…

Computers and Society · Computer Science 2024-02-06 Elisa Madeleine Hartmann , Annabelle Bergum , Dominik Gorgosch , Norman Peitek , Sven Apel , Janet Siegmund

Existing approaches to active learning maximize the system performance by sampling unlabeled instances for annotation that yield the most efficient training. However, when active learning is integrated with an end-user application, this can…

Computation and Language · Computer Science 2020-05-13 Ji-Ung Lee , Christian M. Meyer , Iryna Gurevych

This work introduces a novel training paradigm that draws from affective neuroscience. Inspired by the interplay of emotions and cognition in the human brain and more specifically the SEEKING motivational state, we design a dual-model…

Artificial Intelligence · Computer Science 2026-02-25 Mehdi Acheli , Walid Gaaloul

The goal of active learning for program synthesis is to synthesize the desired program by asking targeted questions that minimize user interaction. While prior work has explored active learning in the purely symbolic setting, such…

Programming Languages · Computer Science 2025-09-01 Celeste Barnaby , Qiaochu Chen , Ramya Ramalingam , Osbert Bastani , Isil Dillig

We propose analyzing conditional reasoning by appeal to a notion of intervention on a simulation program, formalizing and subsuming a number of approaches to conditional thinking in the recent AI literature. Our main results include a…

Logic in Computer Science · Computer Science 2018-05-09 Duligur Ibeling , Thomas Icard

Requirements Engineering (RE) is known to be critical for the success of software projects, and hence forms an important part of any Software Engineering (SE) education curriculum offered at tertiary level. In this paper, we report the…

Computers and Society · Computer Science 2018-04-06 Saurabh Tiwari , Deepti Ameta , Paramvir Singh , Ashish Sureka

In-context learning is a surprising and important phenomenon that emerged when modern language models were scaled to billions of learned parameters. Without modifying a large language model's weights, it can be tuned to perform various…

Computation and Language · Computer Science 2023-03-15 Noam Wies , Yoav Levine , Amnon Shashua

Since the birth of software engineering, it always are recognized as one pure engineering subject, therefore, the foundational scientific problems are not paid much attention. This paper proposes that Requirements Analysis, the kernel…

Software Engineering · Computer Science 2011-02-01 Bojin Zheng , Deyi Li , Guisheng Chen , Jianmin Wang

We review and extend existing frameworks on modeling to develop a new framework that describes model-based reasoning in upper-division physics labs. Constructing and using models are core scientific practices that have gained significant…

Physics Education · Physics 2015-10-28 Benjamin M. Zwickl , Dehui Hu , Noah Finkelstein , H. J. Lewandowski

Meta-learning seeks to learn a well-generalized model initialization from training tasks to solve unseen tasks. From the "learning to learn" perspective, the quality of the initialization is modeled with one-step gradient decent in the…

Machine Learning · Computer Science 2025-05-07 Jingyao Wang , Wenwen Qiang , Changwen Zheng , Hui Xiong , Gang Hua

Human behavior is conditioned by codes and norms that constrain action. Rules, ``manners,'' laws, and moral imperatives are examples of classes of constraints that govern human behavior. These systems of constraints are "messy:" individual…

Artificial Intelligence · Computer Science 2023-06-16 Robert E. Wray , Steven J. Jones , John E. Laird

The vast diversity of styles, domains, and quality levels present in language model pre-training corpora is essential in developing general model capabilities, but efficiently learning and deploying the correct behaviors exemplified in each…

Computation and Language · Computer Science 2025-06-30 Tianyu Gao , Alexander Wettig , Luxi He , Yihe Dong , Sadhika Malladi , Danqi Chen

Reading, understanding and explaining code have traditionally been important skills for novices learning programming. As large language models (LLMs) become prevalent, these foundational skills are more important than ever given the…

Human-Computer Interaction · Computer Science 2024-03-12 Paul Denny , David H. Smith , Max Fowler , James Prather , Brett A. Becker , Juho Leinonen

In data-rich domains such as vision, language, and speech, deep learning prevails to deliver high-performance task-specific models and can even learn general task-agnostic representations for efficient finetuning to downstream tasks.…

Machine Learning · Computer Science 2023-12-07 Pin-Yu Chen

We introduce a novel paradigm for robot pro- gramming with which we aim to make robot programming more accessible for unexperienced users. In order to do so we incorporate two major components in one single framework: autonomous skill…

Robotics · Computer Science 2017-09-19 Simon Hangl , Andreas Mennel , Justus Piater

Computational thinking in physics has many different forms, definitions, and implementations depending on the level of physics, or the institution it is presented in. In order to better integrate computational thinking in introductory…

Physics Education · Physics 2023-08-08 Justin Gambrell , Eric Brewe
‹ Prev 1 3 4 5 6 7 10 Next ›