Learning Structure-Aware Representations of Dependent Types.

Konstantinos Kogkalidis Orestis Melkonian Jean-Philippe Bernardy

Published in: CoRR (2024)

Keyphrases

learning algorithm
prior knowledge
supervised learning
learning process
machine learning
knowledge acquisition
learning tasks
learning problems
learning scheme
neural network
information systems
mobile robot
online learning
empirical studies
learning community