You can not select more than 25 topics Topics must start with a chinese character,a letter or number, can include dashes ('-') and can be up to 35 characters long.
Gao Enhao 15d79ee1f2 [MNT] change entail to check_equal 2 years ago
..
__init__.py [ENH] sort import 2 years ago
base_metric.py [ENH] sort import 2 years ago
semantics_metric.py [MNT] change entail to check_equal 2 years ago
symbol_metric.py [ENH] add abstract data interface to evaluation 2 years ago

An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.

Python other