Popular repositories Loading

1. pyconstruct pyconstruct Public

   Python library for declarative, constrained, structured-output prediction.

   Python 21 4

2. wmi-pa wmi-pa Public

   Efficient WMI via SMT-Based Predicate Abstraction

   Python 15 5

3. rsbench-code rsbench-code Public

   Official codebase for the "A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts" benchmark paper.

   Python 9 3

4. CAN CAN Public

   Implementation of Constrained Adversarial Networks

   Python 7

5. syn-interventions-algorithmic-recourse syn-interventions-algorithmic-recourse Public

   Synthesizing explainable counterfactual policies for algorithmic recourse with program synthesis.

   Python 7 1

6. rsbench rsbench Public

   Official website for the "A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts" benchmark paper

   HTML 4 1