From enhanced coinduction towards enhanced induction.

Davide Sangiorgi

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

neural network
artificial intelligence
search engine
pattern recognition
data sets
computer vision
image sequences
expert systems
user interface
active learning
domain knowledge