A Promising Path Towards Autoformalization and General Artificial Intelligence.

Christian Szegedy

Published in: CICM (2020)

Keyphrases

artificial intelligence
special case
expert systems
intelligent systems
knowledge engineering
genetic algorithm
computer science
artificial neural networks
data model
knowledge representation
computational intelligence
intelligent agents
ambient intelligence
ai methods
ai technologies