Flexible Coinduction in Agda.

Published in: CoRR (2020)

Keyphrases

data sets
machine learning
information retrieval
feature selection
special case
lightweight
artificial intelligence
decision making
reinforcement learning
information technology