IntSeqBERT: Learning Arithmetic Structure in OEIS via Modulo-Spectrum Embeddings
Not on the map. Why?
Abstract (arXiv)
Integer sequences in the OEIS span values from single-digit constants to astronomical factorials and exponentials, making prediction challenging for standard tokenised models that cannot handle out-of-vocabulary values or exploit periodic arithmetic structure. We present IntSeqBERT, a dual-stream Transformer encoder for masked integer-sequence modelling on OEIS. Each sequence element is encoded along two complementary axes: a continuous log-scale magnitude embedding and sin/cos modulo embeddings for 100 residues (moduli 2--101), fused via FiLM. Three prediction heads (magnitude regression, sign classification, and modulo prediction for 100 moduli) are trained jointly on 274,705 OEIS sequences. At the Large scale (91.5M parameters), IntSeqBERT achieves 95.85% magnitude accuracy and 50.38% Mean Modulo Accuracy (MMA) on the test set, outperforming a standard tokenised Transformer baseline by +8.9 pt and +4.5 pt, respectively. An ablation removing the modulo stream confirms it accounts for +15.2 pt of the MMA gain and contributes an additional +6.2 pt to magnitude accuracy. A probabilistic Chinese Remainder Theorem (CRT)-based Solver converts the model's predictions into concrete integers, yielding a 7.4-fold improvement in next-term prediction over the tokenised-Transformer baseline (Top-1: 19.09% vs. 2.59%). Modulo spectrum analysis reveals a strong negative correlation between Normalised Information Gain (NIG) and Euler's totient ratio varphi(m)/m (r = -0.851, p < 10-28), providing empirical evidence that composite moduli capture OEIS arithmetic structure more efficiently via CRT aggregation.
Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 9 of its 21 references that are in the map. First posted on arXiv 5 Mar 2026.
Builds on
9 of 21 references.
References · 9
- 2017Attention Is All You Needcited by 59,932
- 2017FiLM: Visual Reasoning with a General Conditioning Layercited by 2,286
- 2018On the Spectral Bias of Neural Networkscited by 1,321
- 2020On Layer Normalization in the Transformer Architecturecited by 906
- 2026130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?cited by 16
- 2023Alien Codingcited by 9
- 2022Learning Program Synthesis for Integer Sequences from Scratchcited by 8
- 2022FACT: Learning Governing Abstractions Behind Integer Sequencescited by 6
- 2025Learning Conjecturing from Scratchcited by 3
Built on by
Citing papers per year: 2026: 1.
1 paper.