:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kurscheidt, Leander, Masina, Gabriele, Sebastiani, Roberto, Vergari, Antonio
Format:	Preprint
Published:	2026
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2602.08681
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Canonical Decision Diagrams Modulo Theories
by: Michelutti, Massimo, et al.
Published: (2024)

Even More Guarantees for Variational Inference in the Presence of Symmetries
by: Zellinger, Lena, et al.
Published: (2026)

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

On Faster Marginalization with Squared Circuits via Orthonormalization
by: Loconte, Lorenzo, et al.
Published: (2024)

An Embarrassingly Simple Way to Optimize Orthogonal Matrices at Scale
by: Javaloy, Adrián, et al.
Published: (2026)

Taming the Sigmoid Bottleneck: Provably Argmaxable Sparse Multi-Label Classification
by: Grivas, Andreas, et al.
Published: (2023)

How to Approximate Inference with Subtractive Mixture Models
by: Zellinger, Lena, et al.
Published: (2026)

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

How to Square Tensor Networks and Circuits Without Squaring Them
by: Loconte, Lorenzo, et al.
Published: (2025)

COPA: Comparing the incomparable in multi-objective model evaluation
by: Javaloy, Adrián, et al.
Published: (2025)

Towards Logically Consistent Language Models via Probabilistic Reasoning
by: Calanzone, Diego, et al.
Published: (2024)

Enhancing SMT-based Weighted Model Integration by Structure Awareness
by: Spallitta, Giuseppe, et al.
Published: (2023)

ReMAP: Neural Reparameterization for Scalable MAP Inference in Arbitrary-Order Markov Random Fields
by: Wang, Yaomin, et al.
Published: (2024)

Set-based Implicit Likelihood Inference of Galaxy Cluster Mass
by: Wang, Bonny Y., et al.
Published: (2025)

Logically Consistent Language Models via Neuro-Symbolic Integration
by: Calanzone, Diego, et al.
Published: (2024)

Single-loop Algorithms for Stochastic Non-convex Optimization with Weakly-Convex Constraints
by: Yang, Ming, et al.
Published: (2025)

Scalable Expectation Estimation with Subtractive Mixture Models
by: Zellinger, Lena, et al.
Published: (2025)

Neurosymbolic Diffusion Models
by: van Krieken, Emile, et al.
Published: (2025)

Neurosymbolic Reasoning Shortcuts under the Independence Assumption
by: van Krieken, Emile, et al.
Published: (2025)

Can VLMs Reason Robustly? A Neuro-Symbolic Investigation
by: Chen, Weixin, et al.
Published: (2026)

Sum of Squares Circuits
by: Loconte, Lorenzo, et al.
Published: (2024)

Can LLMs Compress (and Decompress)? Evaluating Code Understanding and Execution via Invertibility
by: Maveli, Nickil, et al.
Published: (2026)

Simulation-Efficient Cosmological Inference with Multi-Fidelity SBI
by: Thiele, Leander, et al.
Published: (2025)

Scaling Continuous Latent Variable Models as Probabilistic Integral Circuits
by: Gala, Gennaro, et al.
Published: (2024)

How to Turn Your Knowledge Graph Embeddings into Generative Models
by: Loconte, Lorenzo, et al.
Published: (2023)

What can Large Language Models Capture about Code Functional Equivalence?
by: Maveli, Nickil, et al.
Published: (2024)

Provably Efficient RL for Linear MDPs under Instantaneous Safety Constraints in Non-Convex Feature Spaces
by: Roknilamouki, Amirhossein, et al.
Published: (2025)

Smooth Quasar-Convex Optimization with Constraints
by: Martínez-Rubio, David
Published: (2025)

Bayesian Cosmic Void Finding with Graph Flows
by: Thiele, Leander
Published: (2026)

Transductive Model Selection under Prior Probability Shift
by: Volpi, Lorenzo, et al.
Published: (2025)

On the Independence Assumption in Neurosymbolic Learning
by: van Krieken, Emile, et al.
Published: (2024)

A Convex Framework for Confounding Robust Inference
by: Ishikawa, Kei, et al.
Published: (2023)

Damped Proximal Augmented Lagrangian Method for weakly-Convex Problems with Convex Constraints
by: Dahal, Hari, et al.
Published: (2023)

Probabilistic Circuits with Constraints via Convex Optimization
by: Ghandi, Soroush, et al.
Published: (2024)

RAYEN: Imposition of Hard Convex Constraints on Neural Networks
by: Tordesillas, Jesus, et al.
Published: (2023)

Structure-Dependent Regret and Constraint Violation Bounds for Online Convex Optimization with Time-Varying Constraints
by: Liu, Xiufeng, et al.
Published: (2026)

Projection-free Algorithms for Online Convex Optimization with Adversarial Constraints
by: Sarkar, Dhruv, et al.
Published: (2025)