GitHub repository: IRLL/hrl_options_metrics
Primary language: Python
Description: Design of HRL options metrics for AI -> Human teaching