See also "Deep Algebra" (sorry no link handy at the moment) where they are trying to train networks to extract or generate new math from old; input is arxiv alg

See also "Deep Algebra" (sorry no link handy at the moment) where they are trying to train networks to extract or generate new math from old; input is arxiv algebra papers (LaTeX, PDF) IIRC.