[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