Copertina

Enhancing SMT-based Weighted Model Integration by Structure Awareness

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Spallitta, Giuseppe, Masina, Gabriele, Morettin, Paolo, Passerini, Andrea, Sebastiani, Roberto
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Probabilistic ML Verification via Weighted Model Integration
di: Morettin, Paolo, et al.
Pubblicazione: (2024)

On CNF Conversion for SAT and SMT Enumeration
di: Masina, Gabriele, et al.
Pubblicazione: (2023)

Canonical Decision Diagrams Modulo Theories
di: Michelutti, Massimo, et al.
Pubblicazione: (2024)

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
di: Civini, Emanuele, et al.
Pubblicazione: (2026)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2024)

Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens
di: Bortolotti, Samuele, et al.
Pubblicazione: (2025)

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
di: Masina, Gabriele, et al.
Pubblicazione: (2025)

A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction
di: Kurscheidt, Leander, et al.
Pubblicazione: (2025)

Disjoint Partial Enumeration without Blocking Clauses
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2023)

Experimenting with D-Wave Quantum Annealers on Prime Factorization problems
di: Ding, Jingwen, et al.
Pubblicazione: (2024)

A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
di: Bortolotti, Samuele, et al.
Pubblicazione: (2024)

Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
di: Sebastiani, Roberto
Pubblicazione: (2025)

Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
di: Marconato, Emanuele, et al.
Pubblicazione: (2025)

Simple Path Structural Encoding for Graph Transformers
di: Airale, Louis, et al.
Pubblicazione: (2025)

Extending CDCL-based Model Enumeration with Weights
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2026)

Learning To Guide Human Decision Makers With Vision-Language Models
di: Banerjee, Debodeep, et al.
Pubblicazione: (2024)

BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts
di: Marconato, Emanuele, et al.
Pubblicazione: (2024)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
di: Bartholomew, Michael, et al.
Pubblicazione: (2025)

The Theory and Practice of MAP Inference over Non-Convex Constraints
di: Kurscheidt, Leander, et al.
Pubblicazione: (2026)

Personalized Algorithmic Recourse with Preference Elicitation
di: De Toni, Giovanni, et al.
Pubblicazione: (2022)

Noiser: Bounded Input Perturbations for Attributing Large Language Models
di: Madani, Mohammad Reza Ghasemi, et al.
Pubblicazione: (2025)

Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models
di: Bortolotti, Samuele, et al.
Pubblicazione: (2026)

LLM-Guided Quantified SMT Solving over Uninterpreted Functions
di: Lv, Kunhang, et al.
Pubblicazione: (2026)

SMT(LIA) Sampling with High Diversity
di: Lai, Yong, et al.
Pubblicazione: (2025)

Rethinking and Recomputing the Value of Machine Learning Models
di: Sayin, Burcu, et al.
Pubblicazione: (2022)

A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
di: Pojer, Raffaele, et al.
Pubblicazione: (2025)

Explaining the Explainers in Graph Neural Networks: a Comparative Study
di: Longa, Antonio, et al.
Pubblicazione: (2022)

SMT-EX: An Explainable Surrogate Modeling Toolbox for Mixed-Variables Design Exploration
di: Robani, Mohammad Daffa, et al.
Pubblicazione: (2025)

Automated Process Planning Based on a Semantic Capability Model and SMT
di: Köcher, Aljosha, et al.
Pubblicazione: (2023)

Approximate SMT Counting Beyond Discrete Domains
di: Shaw, Arijit, et al.
Pubblicazione: (2025)

Efficient Preimage Approximation for Neural Network Certification
di: Björklund, Anton, et al.
Pubblicazione: (2025)

Actionable Real-Time Modeling of Surgical Team Dynamics via Time-Expanded Interaction Graphs
di: De Luca, Vincenzo Marco, et al.
Pubblicazione: (2026)

Can LLMs Correct Physicians, Yet? Investigating Effective Interaction Methods in the Medical Domain
di: Sayin, Burcu, et al.
Pubblicazione: (2024)

Reconsidering Faithfulness in Regular, Self-Explainable and Domain Invariant GNNs
di: Azzolin, Steve, et al.
Pubblicazione: (2024)

MedGellan: LLM-Generated Medical Guidance to Support Physicians
di: Banerjee, Debodeep, et al.
Pubblicazione: (2025)

Frequency-aware Surrogate Modeling With SMT Kernels For Advanced Data Forecasting
di: Gonel, Nicolas, et al.
Pubblicazione: (2025)

A Comparative Study of SMT and MILP for the Nurse Rostering Problem
di: Combrink, Alvin, et al.
Pubblicazione: (2025)

Graph Neural Networks for temporal graphs: State of the art, open challenges, and opportunities
di: Longa, Antonio, et al.
Pubblicazione: (2023)

Divide et Calibra: Multiclass Local Calibration via Vector Quantization
di: Barbera, Cesare, et al.
Pubblicazione: (2026)

Multiclass Local Calibration with the Jensen-Shannon Distance
di: Barbera, Cesare, et al.
Pubblicazione: (2025)