conftrace_

conjecture generation

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

berlekamp-massey algorithm (1) automated conjecturing (1) mathematical discovery (1) mathematical conjecture (1) heuristic algorithm (1) mathematical constant (1) integer sequence (1) continued fraction (1) conjecture discovery (1) numerical convergence (1)

Papers

Learning Formal Mathematics From Intrinsic Motivation NeurIPS 2024 Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences ICML 2023 Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract) IJCAI 2017