paper-with-me

홈 › Papers

Making Neural Programming Architectures Generalize via Recursion

2017-04-21 · Jonathon Cai, Richard Shin, Dawn Song

Empirically, neural networks that attempt to learn programs from data have exhibited poor generalizability. Moreover, it has traditionally been difficult to reason about the behavior of these models beyond a certain level of input complexity. In order to address these issues, we propose augmenting neural architectures with a key abstraction: recursion. As an application, we implement recursion in the Neural Programmer-Interpreter framework on four tasks: grade-school addition, bubble sort, topological sort, and quicksort. We demonstrate superior generalizability and interpretability with small amounts of training data. Recursion divides the problem into smaller pieces and drastically reduces the domain of each neural network component, making it tractable to prove guarantees about the overall system's behavior. Our experience suggests that in order for neural architectures to robustly learn program semantics, it is necessary to incorporate a concept like recursion.

📄 PDF Abstract BibTeX arXiv:1704.06611

Code (0)

등록된 구현이 없습니다.

Methods 이 논문이 사용한 방법론

Interpretability 설명 없음

Similar Papers 제목 키워드 기반

An Exploration of Left-Corner Transformations

2023-11-27 · Andreas Opedal, Eleftheria Tsipidi, Tiago Pimentel, Ryan Cotterell 외

The left-corner transformation (Rosenkrantz and Lewis, 1970) is used to remove left recursion from context-free grammars, which is an important step towards making the grammar parsable top-down with simple techniques. Th…

Dynamic Programming for Pure-Strategy Subgame Perfection in an Arbitrary Game

2023-02-08 · Peter A. Streufert

This paper uses value functions to characterize the pure-strategy subgame-perfect equilibria of an arbitrary, possibly infinite-horizon game. It specifies the game's extensive form as a pentaform (Streufert 2023p, arXiv:…

Form

Origami: (un)folding the abstraction of recursion schemes for program synthesis

2024-02-21 · Matheus Campos Fernandes, Fabricio Olivetti de Franca, Emilio Francesquini

Program synthesis with Genetic Programming searches for a correct program that satisfies the input specification, which is usually provided as input-output examples. One particular challenge is how to effectively handle …

Program Synthesis

Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion

2024-01-23 · Dylan Zhang, Curt Tigges, Zory Zhang, Stella Biderman 외

This paper investigates the ability of transformer-based models to learn structural recursion from examples. Recursion is a universal concept in both natural and formal languages. Structural recursion is central to the p…

A Unified View of Algorithms for Path Planning Using Probabilistic Inference on Factor Graphs

2021-06-19 · Francesco A. N. Palmieri, Krishna R. Pattipati, Giovanni Di Gennaro, Giovanni Fioretti 외

Even if path planning can be solved using standard techniques from dynamic programming and control, the problem can also be approached using probabilistic inference. The algorithms that emerge using the latter framework …