Picture for Roberto Sebastiani

Roberto Sebastiani

A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction

Add code
Mar 25, 2025
Viaarxiv icon

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration

Add code
Mar 03, 2025
Viaarxiv icon

Canonical Decision Diagrams Modulo Theories

Add code
Apr 25, 2024
Viaarxiv icon

A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration

Add code
Feb 07, 2024
Viaarxiv icon

Enhancing SMT-based Weighted Model Integration by Structure Awareness

Add code
Feb 13, 2023
Viaarxiv icon

SMT-based Weighted Model Integration with Structure Awareness

Add code
Jun 28, 2022
Figure 1 for SMT-based Weighted Model Integration with Structure Awareness
Figure 2 for SMT-based Weighted Model Integration with Structure Awareness
Figure 3 for SMT-based Weighted Model Integration with Structure Awareness
Figure 4 for SMT-based Weighted Model Integration with Structure Awareness
Viaarxiv icon

Are You Satisfied by This Partial Assignment?

Add code
Feb 28, 2020
Figure 1 for Are You Satisfied by This Partial Assignment?
Figure 2 for Are You Satisfied by This Partial Assignment?
Viaarxiv icon

Multi-Object Reasoning with Constrained Goal Models

Add code
Nov 25, 2016
Figure 1 for Multi-Object Reasoning with Constrained Goal Models
Figure 2 for Multi-Object Reasoning with Constrained Goal Models
Figure 3 for Multi-Object Reasoning with Constrained Goal Models
Figure 4 for Multi-Object Reasoning with Constrained Goal Models
Viaarxiv icon

Structured Learning Modulo Theories

Add code
Dec 18, 2014
Figure 1 for Structured Learning Modulo Theories
Figure 2 for Structured Learning Modulo Theories
Figure 3 for Structured Learning Modulo Theories
Figure 4 for Structured Learning Modulo Theories
Viaarxiv icon

Hybrid SRL with Optimization Modulo Theories

Add code
Feb 18, 2014
Viaarxiv icon