Learning Program Synthesis for Integer Sequences from Scratch

A formal theory of inductive inference. Part I

R.J. Solomonoff · 1964

Earlier work this paper cites.

Standard ML

Robert Harper, David MacQueen, and Robin Milner · 1986

Earlier work this paper cites.

Modular elliptic curves and Fermat’s last theorem

Andrew Wiles · 1995

Earlier work this paper cites.

Learning task-dependent distributed representations by backpropagation through structure

Christoph Goller and Andreas Küchler · 1996

Earlier work this paper cites.

On the modularity of elliptic curves over Q: wild 3-adic exercises

Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor · 2001

Earlier work this paper cites.

The On-Line Encyclopedia of Integer Sequences

Neil J. A. Sloane · 2007

Earlier work this paper cites.

Efficient mini-batch training for stochastic optimization

Mu Li, Tong Zhang, Yuqiang Chen, and Alexander J. Smola · 2014

Cited alongside, same era.

Intel Math Kernel Library

Endong Wang, Qing Zhang, Bo Shen, Guangyong Zhang, Xiaowei Lu, Qing Wu, and Yajuan Wang · 2014

Cited alongside, same era.

Effective approaches to attention-based neural machine translation

Original

Minh-Thang Luong, Hieu Pham, and Christopher D Manning · 2015

Cited alongside, same era.

Hindsight experience replay

Marcin Andrychowicz, Filip Wolski, Alex Ray, Jonas Schneider, Rachel Fong, Peter Welinder, Bob McGrew, Josh Tobin, OpenAI Pieter Abbeel, and Wojciech Zaremba · 2017

Cited alongside, same era.

Mastering the game of Go without human knowledge

David Silver, Julian Schrittwieser, Karen Simonyan, Ioannis Antonoglou, Aja Huang, Arthur Guez, Thomas Hubert, Lucas Baker, Matthew Lai, Adrian Bolton, Yutian Chen, Timothy Lillicrap, Fan Hui, Laurent Sifre, George van den Driessche, Thore Graepel, and Demis Hassabis · 2017

Cited alongside, same era.

Tree neural networks in HOL4

Thibault Gauthier · 2020

Later among the works it cites.

DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning

Kevin Ellis, Catherine Wong, Maxwell I. Nye, Mathias Sablé-Meyer, Lucas Morales, Luke B. Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum · 2021

Later among the works it cites.

Deep symbolic regression for recurrent sequences

Original

Stéphane d’Ascoli, Pierre-Alexandre Kamienny, Guillaume Lample, and François Charton · 2022

Closest in time.

Software accompanying the paper "Learning program synthesis for integer sequences from scratch"

Thibault Gauthier and Josef Urban · 2022

Closest in time.

Web interface accompanying the paper "Learning program synthesis for integer sequences from scratch"

Thibault Gauthier and Josef Urban · 2022

Closest in time.