Pinned Repositories
LEXR
A formal language approach to explaining recurrent neural networks
pacX
A framework for generating probably approximately correct (PAC) and local explanations of black-box machine learning models based on SyGuS (Syntax-Guided Synthesis).
papers_fl_llm
script_play_vit_sambanova
scripts_hg-core-decomposition
justicia
A formal approach for verifying fairness in machine learning.
mgt
Group Testing via MaxSAT
MLIC
A new framework to generate interpretable classification rules
bias-explainer
AIF360
A comprehensive set of fairness metrics for datasets and machine learning models, explanations for these metrics, and algorithms to mitigate bias in datasets and models.
bishwamittra's Repositories
bishwamittra/papers_fl_llm
bishwamittra/LEXR
A formal language approach to explaining recurrent neural networks
bishwamittra/script_play_vit_sambanova
bishwamittra/scripts_hg-core-decomposition
bishwamittra/AIF360
A comprehensive set of fairness metrics for datasets and machine learning models, explanations for these metrics, and algorithms to mitigate bias in datasets and models.
bishwamittra/cs3243-notes.github.io
Course notes for CS3243: Introduction to AI.
bishwamittra/pacX
A framework for generating probably approximately correct (PAC) and local explanations of black-box machine learning models based on SyGuS (Syntax-Guided Synthesis).
bishwamittra/fairness_auditing
bishwamittra/script_tutorial_fairness