[seqfan] Re: Using AI to help Superseeker guess formulas for sequences
Neil Sloane
njasloane at gmail.com
Sun Oct 4 21:55:18 CEST 2020
Marc, Thank you for this reference, which is extremely relevant to my
question!
Lample and Charton, (from FaceBook AI Research)
"Deep Learning for Symbolic Mathematics"
https://arxiv.org/pdf/1912.01412.pdf
After I've digested it, perhaps I will talk to them about sequences!
Best regards
Neil
Neil J. A. Sloane, President, OEIS Foundation.
11 South Adelaide Avenue, Highland Park, NJ 08904, USA.
Also Visiting Scientist, Math. Dept., Rutgers University, Piscataway, NJ.
Phone: 732 828 6098; home page: http://NeilSloane.com
Email: njasloane at gmail.com
On Sun, Oct 4, 2020 at 1:08 PM Marc LeBrun <mlb at well.com> wrote:
> >=Neil Sloane
> Why not use AI to strengthen Superseeker?, I keep saying
>
>
> Indeed. Want to mention this again, for anyone who might pursue this
> further:
>
> "Deep Learning for Symbolic Mathematics"
> https://arxiv.org/pdf/1912.01412.pdf
>
> Not necessarily the answer, but perhaps it may inspire something
> interesting?
>
>
> --
> Seqfan Mailing list - http://list.seqfan.eu/
>
More information about the SeqFan
mailing list