GitHub repository: HumanCompatibleAI/logical-active-classification
Primary language: Python
Description: Use active learning to classify data represented as boundaries of regions in parameter space where a parametrised logical formula holds.