Picture for Antonio Vergari

Antonio Vergari

Scalable Expectation Estimation with Subtractive Mixture Models

Add code
Mar 27, 2025
Viaarxiv icon

A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction

Add code
Mar 25, 2025
Viaarxiv icon

COPA: Comparing the Incomparable to Explore the Pareto Front

Add code
Mar 18, 2025
Viaarxiv icon

On Faster Marginalization with Squared Circuits via Orthonormalization

Add code
Dec 10, 2024
Figure 1 for On Faster Marginalization with Squared Circuits via Orthonormalization
Figure 2 for On Faster Marginalization with Squared Circuits via Orthonormalization
Viaarxiv icon

Is Complex Query Answering Really Complex?

Add code
Oct 16, 2024
Viaarxiv icon

What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?

Add code
Sep 12, 2024
Figure 1 for What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?
Figure 2 for What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?
Figure 3 for What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?
Figure 4 for What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?
Viaarxiv icon

Sum of Squares Circuits

Add code
Aug 21, 2024
Figure 1 for Sum of Squares Circuits
Figure 2 for Sum of Squares Circuits
Figure 3 for Sum of Squares Circuits
Figure 4 for Sum of Squares Circuits
Viaarxiv icon

What can Large Language Models Capture about Code Functional Equivalence?

Add code
Aug 20, 2024
Figure 1 for What can Large Language Models Capture about Code Functional Equivalence?
Figure 2 for What can Large Language Models Capture about Code Functional Equivalence?
Figure 3 for What can Large Language Models Capture about Code Functional Equivalence?
Figure 4 for What can Large Language Models Capture about Code Functional Equivalence?
Viaarxiv icon

A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts

Add code
Jun 14, 2024
Figure 1 for A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts
Figure 2 for A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts
Figure 3 for A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts
Figure 4 for A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts
Viaarxiv icon

Scaling Continuous Latent Variable Models as Probabilistic Integral Circuits

Add code
Jun 10, 2024
Viaarxiv icon