unitn-sml/rsbench

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

Language: HTML - Size: 955 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 1

unitn-sml/rsbench-code

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

Language: Python - Size: 20 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 7 - Forks: 1

unitn-sml/wmi-pa

Efficient WMI via SMT-Based Predicate Abstraction

Language: Python - Size: 97.6 MB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 13 - Forks: 4

unitn-sml/wmi-benchmarks

A collection of probabilistic inference problems involving algebraic and logical constraints

Language: Python - Size: 198 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

unitn-sml/pyconstruct

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

Language: Python - Size: 13.7 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 21 - Forks: 4

unitn-sml/physician-medLLM-interaction

Language: Python - Size: 489 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

unitn-sml/CAN

Implementation of Constrained Adversarial Networks

Language: Python - Size: 132 MB - Last synced at: 2 days ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 0

unitn-sml/syn-interventions-algorithmic-recourse

Synthesizing explainable counterfactual policies for algorithmic recourse with program synthesis.

Language: Python - Size: 3.32 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 1

unitn-sml/setmargin

setmargin preference elicitation

Language: Python - Size: 126 KB - Last synced at: almost 2 years ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 1

unitn-sml/Egocentric-Temporal-Motifs-Miner-ETMM Fork of AntonioLonga/Egocentric-Temporal-Motifs-Miner-ETMM

Egocentric Temporal Motifs Miner

Size: 2.9 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

unitn-sml/ETNgen Fork of AntonioLonga/ETNgen

ETNgen: A temporal graph generator based on Egocentric Temporal Motifs

Size: 0 Bytes - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

unitn-sml/pcl

Decomposition Strategies for Constructive Preference Elicitation

Language: Python - Size: 68.4 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

unitn-sml/choice-perceptron

Constructive Preference Elicitation over Hybrid Combinatorial Spaces

Language: Python - Size: 65.4 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1

unitn-sml/coactive-critiquing

Implementation of Coactive Critiquing for Preference Elicitation

Language: Python - Size: 311 KB - Last synced at: almost 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

unitn-sml/constructive-layout-synthesis

Constructive Layout Synthesis via Coactive Learning

Language: Python - Size: 302 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1

unitn-sml/bibble Fork of sampsyo/bibble

another BibTeX-to-HTML (with Jinja2 templates)

Language: Python - Size: 24.4 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

unitn-sml/recourse-fare

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

Language: Python - Size: 1.85 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0