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. CAN CAN Public

    Implementation of Constrained Adversarial Networks

    Python 7

  4. syn-interventions-algorithmic-recourse syn-interventions-algorithmic-recourse Public

    Synthesizing explainable counterfactual policies for algorithmic recourse with program synthesis.

    Python 7 1

  5. rsbench rsbench Public

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

    HTML 4 1

  6. rsbench-code rsbench-code Public

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

    Python 4 1

Repositories

Showing 10 of 19 repositories
  • rsbench Public

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

    unitn-sml/rsbench’s past year of commit activity
    HTML 4 GPL-3.0 1 0 0 Updated Dec 20, 2024
  • rsbench-code Public

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

    unitn-sml/rsbench-code’s past year of commit activity
    Python 4 1 0 0 Updated Nov 11, 2024
  • temporal-algorithmic-recourse Public

    Original codebase for the paper "Time Can Invalidate Algorithmic Recourse"

    unitn-sml/temporal-algorithmic-recourse’s past year of commit activity
    Python 2 0 0 0 Updated Oct 10, 2024
  • wmi-pa Public

    Efficient WMI via SMT-Based Predicate Abstraction

    unitn-sml/wmi-pa’s past year of commit activity
    Python 13 MIT 5 0 0 Updated Jul 1, 2024
  • wmi-benchmarks Public

    A collection of probabilistic inference problems involving algebraic and logical constraints

    unitn-sml/wmi-benchmarks’s past year of commit activity
    Python 1 0 0 0 Updated Jun 17, 2024
  • pear-personalized-algorithmic-recourse Public

    Code for the paper "Personalized Algorithmic Recourse with Preference Elicitation"

    unitn-sml/pear-personalized-algorithmic-recourse’s past year of commit activity
    Python 1 0 0 0 Updated Apr 17, 2024
  • recourse-fare Public

    (Explainable) Algorithmic Recourse with Reinforcement Learning and MCTS (FARE and E-FARE)

    unitn-sml/recourse-fare’s past year of commit activity
    Python 3 MIT 0 0 0 Updated Apr 17, 2024
  • unitn-sml/physician-medLLM-interaction’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Apr 2, 2024
  • pyconstruct Public

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

    unitn-sml/pyconstruct’s past year of commit activity
    Python 21 MIT 4 1 1 Updated Oct 16, 2023
  • syn-interventions-algorithmic-recourse Public

    Synthesizing explainable counterfactual policies for algorithmic recourse with program synthesis.

    unitn-sml/syn-interventions-algorithmic-recourse’s past year of commit activity
    Python 7 1 0 0 Updated Mar 20, 2023

Top languages

Loading…

Most used topics

Loading…