TY  - RPRT
TI  - Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences
AU  - Ofir Razon
AU  - Yoav Harris
AU  - Shahar Gottlieb
AU  - Dan Carmon
AU  - Ofir David
AU  - Ido Kaminer
PY  - 2023
UR  - https://arxiv.org/abs/2212.09470
ID  - 2212.09470
ER  -