@article{automatedsearchforconjectureson,
  title = {Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences},
  author = {Ofir Razon and Yoav Harris and Shahar Gottlieb and Dan Carmon and Ofir David and Ido Kaminer},
  year = {2022},
  eprint = {2212.09470},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2212.09470v2},
}