Picture for Pedro Zuidberg Dos Martires

Pedro Zuidberg Dos Martires

Independence Is Not an Issue in Neurosymbolic AI

Add code
Apr 10, 2025
Viaarxiv icon

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition

Add code
Apr 04, 2025
Viaarxiv icon

Neurosymbolic Decision Trees

Add code
Mar 11, 2025
Viaarxiv icon

A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic

Add code
Oct 16, 2024
Viaarxiv icon

KLay: Accelerating Neurosymbolic AI

Add code
Oct 15, 2024
Figure 1 for KLay: Accelerating Neurosymbolic AI
Figure 2 for KLay: Accelerating Neurosymbolic AI
Figure 3 for KLay: Accelerating Neurosymbolic AI
Figure 4 for KLay: Accelerating Neurosymbolic AI
Viaarxiv icon

Can Large Language Models Reason? A Characterization via 3-SAT

Add code
Aug 13, 2024
Viaarxiv icon

REvolve: Reward Evolution with Large Language Models for Autonomous Driving

Add code
Jun 03, 2024
Viaarxiv icon

Probabilistic Neural Circuits

Add code
Mar 10, 2024
Figure 1 for Probabilistic Neural Circuits
Figure 2 for Probabilistic Neural Circuits
Figure 3 for Probabilistic Neural Circuits
Figure 4 for Probabilistic Neural Circuits
Viaarxiv icon

Semirings for Probabilistic and Neuro-Symbolic Logic Programming

Add code
Feb 21, 2024
Viaarxiv icon

Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick

Add code
Nov 21, 2023
Viaarxiv icon