StarkWare Industries, Netanya, Israel; Department of Electrical and Computer Engineering, Technion Israel institute of Technology, Haifa, Israel
Ofir Razon, Yoav Harris, Shahar Gottlieb, Dan Carmon, Ofir David, Ido Kaminer
Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences