Use active learning to classify data represented as boundaries of regions in parameter space where a parametrised logical formula holds.
Latest commits.
No recent commits available.
Builders behind this project.
No contributor data available.