boolean-models

本文介绍了 ExplAIner，一种用于解释分类模型的声明式查询语言，它通过支持溯因、对比和基于最优性的解释，并在布尔电路上实现易处理的评估，从而解决了 FOIL 语言的局限性。