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