Generative Language Modeling for Automated Theorem Proving
The authors use GPT-3-like language models to develop GPT-f, a tool that automatically generates proofs of mathematical theorems.
Deep Learning for Symbolic Mathematics
This paper uses deep sequence-to-sequence models to perform integration and solve differential equations in symbolic form.