8000 Structured Machine Learning Group @ UNITN · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@unitn-sml

Structured Machine Learning Group @ UNITN

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 13 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 2

  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

Repositories

Showing 10 of 19 repositories

Top languages

Loading…

Most used topics

Loading…

0