A framework for generating probably approximately correct (PAC) and local explanations of black-box machine learning models based on SyGuS (Syntax-Guided Synthesis).
- run
pip install -r requirements.txtto install required python libraries - CVC4
- See the notebook
All test files are under tests directory
python -m tests.test_sygus
@inproceedings{ghosh2020formal,
author={Neider, Daniel and Ghosh, Bishwamittra},
title={Probably Approximately Correct Explanations of Machine Learning Models via Syntax-Guided Synthesis},
booktitle={arXiv:2009.08770},
month={9},
year={2020}}
Bishwamittra Ghosh (bghosh@u.nus.edu)
Please click on "issues" at the top and create a new issue. All issues are responded to promptly.