conftrace_

integer sequence

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

mathematical constant (1) continued fraction (1) conjecture discovery (1) numerical convergence (1) learned policy (1) on-line encyclopedia of integer sequence (1) conjecture generation (1) berlekamp-massey algorithm (1) lifted first-order model counting (1) conceptual understanding (1)

Papers

Progressive Self-Learning for Domain Adaptation on Symbolic Regression of Integer Sequences AAAI 2025 Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences ICML 2023 Learning Program Synthesis for Integer Sequences from Scratch AAAI 2023 On Discovering Interesting Combinatorial Integer Sequences IJCAI 2023 FACT: Learning Governing Abstractions Behind Integer Sequences NeurIPS 2022