Towards the Automatic Mathematician.

Markus N. Rabe Christian Szegedy

Published in: CADE (2021)

Keyphrases

semi automatic
neural network
artificial intelligence
case study
domain knowledge
fully automatic
three dimensional
database systems
probabilistic model
context sensitive