Pedro Zuidberg Dos Martires

According to our database, Pedro Zuidberg Dos Martires authored at least 34 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Independence Is Not an Issue in Neurosymbolic AI.

Håkan Karlsson Faronius, Pedro Zuidberg Dos Martires

CoRR, April, 2025

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

Rishi Hazra, Gabriele Venturato, Pedro Zuidberg Dos Martires, Luc De Raedt

CoRR, April, 2025

Neurosymbolic Decision Trees.

Matthias Möller, Arvid Norlander, Pedro Zuidberg Dos Martires, Luc De Raedt

CoRR, March, 2025

A Quantum Information Theoretic Approach to Tractable Probabilistic Models.

Pedro Zuidberg Dos Martires

Proceedings of the Conference on Uncertainty in Artificial Intelligence, 2025

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI.

Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

REvolve: Reward Evolution with Large Language Models using Human Feedback.

Rishi Hazra, Alkis Sygkounas, Andreas Persson, Amy Loutfi, Pedro Zuidberg Dos Martires

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Semirings for probabilistic and neuro-symbolic logic programming.

Vincent Derkinderen, Robin Manhaeve, Pedro Zuidberg Dos Martires, Luc De Raedt

Int. J. Approx. Reason., 2024

A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic.

Lennert De Smet, Pedro Zuidberg Dos Martires

CoRR, 2024

KLay: Accelerating Neurosymbolic AI.

Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires

CoRR, 2024

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

Rishi Hazra, Gabriele Venturato, Pedro Zuidberg Dos Martires, Luc De Raedt

CoRR, 2024

REvolve: Reward Evolution with Large Language Models for Autonomous Driving.

Rishi Hazra, Alkis Sygkounas, Andreas Persson, Amy Loutfi, Pedro Zuidberg Dos Martires

CoRR, 2024

Declarative probabilistic logic programming in discrete-continuous domains.

Pedro Zuidberg Dos Martires, Luc De Raedt, Angelika Kimmig

Artif. Intell., 2024

A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetics.

Lennert De Smet, Pedro Zuidberg Dos Martires

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Automated Reasoning in Systems Biology: A Necessity for Precision Medicine.

Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation.

Gabriele Venturato, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Probabilistic Neural Circuits.

Pedro Zuidberg Dos Martires

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

SayCanPay: Heuristic Planning with Large Language Models Using Learnable Domain Knowledge.

Rishi Hazra, Pedro Zuidberg Dos Martires, Luc De Raedt

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Top-Down Knowledge Compilation for Counting Modulo Theories.

Vincent Derkinderen, Pedro Zuidberg Dos Martires, Samuel Kolb, Paolo Morettin

CoRR, 2023

Neural probabilistic logic programming in discrete-continuous domains.

Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, Luc De Raedt

Proceedings of the Uncertainty in Artificial Intelligence, 2023

Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick.

Lennert De Smet, Emanuele Sansone, Pedro Zuidberg Dos Martires

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

Inference and Learning with Model Uncertainty in Probabilistic Logic Programs.

Victor Verreet, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Measure Theoretic Weighted Model Integration.

Ivan Miosic, Pedro Zuidberg Dos Martires

CoRR, 2021

Neural Semirings.

Pedro Zuidberg Dos Martires

Proceedings of the 15th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 1st International Joint Conference on Learning & Reasoning (IJCLR 2021), 2021

Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey.

Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, Andrea Passerini

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Semantic Relational Object Tracking.

Andreas Persson, Pedro Zuidberg Dos Martires, Luc De Raedt, Amy Loutfi

IEEE Trans. Cogn. Dev. Syst., 2020

Symbolic Learning and Reasoning With Noisy Data for Probabilistic Anchoring.

Pedro Zuidberg Dos Martires, Nitesh Kumar, Andreas Persson, Amy Loutfi, Luc De Raedt

Frontiers Robotics AI, 2020

Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration.

Pedro Zuidberg Dos Martires, Samuel Kolb

CoRR, 2020

Ordering Variables for Weighted Model Integration.

Vincent Derkinderen, Evert Heylen, Pedro Zuidberg Dos Martires, Samuel Kolb, Luc De Raedt

Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020

ProbAnch: a Modular Probabilistic Anchoring Framework.

Andreas Persson, Pedro Zuidberg Dos Martires, Luc De Raedt, Amy Loutfi

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

Learning from Implicit Information in Natural Language Instructions for Robotic Manipulations.

Ozan Arkan Can, Pedro Zuidberg Dos Martires, Andreas Persson, Julian Gaal, Amy Loutfi, Luc De Raedt, Deniz Yuret, Alessandro Saffiotti

CoRR, 2019

How to Exploit Structure while Solving Weighted Model Integration Problems.

Samuel Kolb, Pedro Zuidberg Dos Martires, Luc De Raedt

Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, 2019

The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration.

Samuel Kolb, Paolo Morettin, Pedro Zuidberg Dos Martires, Francesco Sommavilla, Andrea Passerini, Roberto Sebastiani, Luc De Raedt

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation.

Pedro Zuidberg Dos Martires, Anton Dries, Luc De Raedt

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming.

Pedro Zuidberg Dos Martires, Anton Dries, Luc De Raedt

CoRR, 2018