10 papers · ranked by Valyu relevance
Cassandra Lucas, Anshul Bihani, Rohini Kukka, Chun-Hua Tsai + 2 more
Generative AI creates new opportunities for programming education, but many existing systems remain overly directive, producing lengthy explanations and premature solutions that can overwhelm K-12 novices. In this paper, we present a participatory design study of how an adaptive tutorial system, SocratiCode, evolved…
Jesse Yusuf Chan, Haoming Wang, Mingwei Xu, Xianlong Xu
The transition from block-based to text-based programming requires learners to convert visible program structures into abstract textual expressions, which may create a cognitive gap between understanding computational concepts and expressing them in Python syntax. To support this transition, we designed and implemented…
Rajshekhar Sunderraman
The functional programming paradigm has a long and storied history with its beginnings in the Lambda Calculus. In recent decades, pure functional languages such as Haskell have been shown to be highly effective in producing robust software due to immutable data structures among other functional features. The advantages…
Seyoung Lee, Kwan-Young Bak
This note provides a lightweight tutorial on using Eigen, a C++ template library for linear algebra, to implement statistical and machine learning algorithms. The emphasis is practical rather than methodological: we show how common matrix operations, decomposition-based solvers, and vectorized updates can be written in…
Attila Egri-Nagy
The advancement of automated coding tools may reduce in the future the number of people willing to learn computer programming. We assume that the skill of computational problem solving is not only for the immediate economic benefit, but an important part of our knowledge about the world. As the incentives to learn are…
Egor Skopin, Evgeny Kotelnikov
Reinforcement learning with verifiable rewards (RLVR) trains language models using programmatically checkable signals such as unit-test outcomes, enabling direct optimization for functional correctness in code generation. We conduct an empirical study of RLVR for Python code generation on the MBPP benchmark using two…
Antonios Saravanos, John Pazarzis, Stavros Zervoudakis, Dongnanzi Zheng
Python libraries often need to maintain a stable public API even as internal implementations evolve, gain new backends, or depend on heavy optional libraries. In Python, where internal objects are easy to inspect and import, users can come to rely on "reachable internals" that were never intended to be public, making…
Zechen Bai, Zhiheng Chen, Yiqi Lin, Kevin Qinghong Lin + 4 more
Human experience in digital environments offers a vast, underexplored resource of authentic, untrimmed interactions that contain rich procedural knowledge. We introduce Demo2Tutorial, a framework that transforms this experience captured via screen recordings and interaction logs into structured, multimodal software…
Yue Wu, Minghao Han, Ruiyin Li, Peng Liang + 4 more
Code often suffers from performance bugs. These bugs necessitate the research and practice of code optimization. Traditional rule-based methods rely on manually designing and maintaining rules for specific performance bugs (e.g., redundant loops, repeated computations), making them labor-intensive and limited in…
Shengyang Luo, Shengyao Luo, Xiaolei Guo, Fengze Zhang + 2 more
Tutorial videos are widely used for learning feature-rich software, yet following screencast tutorials often breaks down in practice. Through a survey and contextual inquiry, we found that learners frequently rewind or get stuck because critical input information, especially mouse actions and keyboard-modified…