mlsanityData to 7 Oct 2026

Alien Coding

arXiv 2301.11479 ↗First posted 27 Jan 2023cs.AI cs.LG cs.LOcited by 9

Not on the map. Why?

Abstract (arXiv)

We introduce a self-learning algorithm for synthesizing programs for OEIS sequences. The algorithm starts from scratch initially generating programs at random. Then it runs many iterations of a self-learning loop that interleaves (i) training neural machine translation to learn the correspondence between sequences and the programs discovered so far, and (ii) proposing many new programs for each OEIS sequence by the trained neural machine translator. The algorithm discovers on its own programs for more than 78000 OEIS sequences, sometimes developing unusual programming methods. We analyze its behavior and the invented programs in several experiments.

Key facts. Cited by 9 papers in the map (data through 7 Oct 2026). Builds on 13 of its 87 references that are in the map. First posted on arXiv 27 Jan 2023.

Builds on

13 of 87 references.

References · 13

  1. 2017Attention Is All You Needcited by 59,932
  2. 2021Evaluating Large Language Models Trained on Codecited by 8,053
  3. 2017Hindsight Experience Replaycited by 1,096
  4. 2015Attention-Based Models for Speech Recognitioncited by 400
  5. 2018Reinforcement Learning of Theorem Provingcited by 69
  6. 2022Deep Symbolic Regression for Recurrent Sequencescited by 53
  7. 2018First Experiments with Neural Translation of Informal to Formal Mathematicscited by 52
  8. 2020First Neural Conjecturing Datasets and Experimentscited by 26
  9. 2019Hammering Mizar by Learning Clause Guidancecited by 20
  10. 2018ATPboost: Learning Premise Selection in Binary Setting with ATP Feedbackcited by 12
  11. 2019Can Neural Networks Learn Symbolic Rewriting?cited by 12
  12. 2022Learning Program Synthesis for Integer Sequences from Scratchcited by 8
1 more
  1. 2022Machine Learning Meets The Herbrand Universecited by 3

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2023: 2; 2024: 2; 2025: 1; 2026: 4.

9 papers.

  1. 2026130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?cited by 16
  2. 2024Learning Guided Automated Reasoning: A Brief Surveycited by 7
  3. 2023MizAR 60 for Mizar 50cited by 6
  4. 2025Learning Conjecturing from Scratchcited by 3
  5. 2026IntSeqBERT: Learning Arithmetic Structure in OEIS via Modulo-Spectrum Embeddingscited by 1
  6. 2023On the Complexity of Computing G"odel Numberscited by 0
  7. 2024Artifical intelligence and inherent mathematical difficultycited by 0
  8. 2026DecompRL: Solving Harder Problems by Learning Modular Code Generationcited by 0
  9. 2026Where Induction Runs Out: Description-Length Difficulty and the Memorisation Gap in Integer-Sequence Benchmarkscited by 0