Dos Martires, Pedro Zuidberg

17 publications

ICLRW 2025 Can Large Language Models Reason? a Characterization via 3-SAT Rishi Hazra, Gabriele Venturato, Pedro Zuidberg Dos Martires, Luc De Raedt

ICLR 2025 KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires

NeurIPS 2025 LexiCon: A Benchmark for Planning Under Temporal Constraints in Natural Language Periklis Mantenoglou, Rishi Hazra, Pedro Zuidberg Dos Martires, Luc De Raedt

ICLR 2025 REvolve: Reward Evolution with Large Language Models Using Human Feedback Rishi Hazra, Alkis Sygkounas, Andreas Persson, Amy Loutfi, Pedro Zuidberg Dos Martires

NeurIPS 2024 A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetics Lennert De Smet, Pedro Zuidberg Dos Martires

AAAI 2024 Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation Gabriele Venturato, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt

AAAI 2024 Probabilistic Neural Circuits Pedro Zuidberg Dos Martires

AAAI 2024 SayCanPay: Heuristic Planning with Large Language Models Using Learnable Domain Knowledge Rishi Hazra, Pedro Zuidberg Dos Martires, Luc De Raedt

NeurIPS 2023 Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick Lennert De Smet, Emanuele Sansone, Pedro Zuidberg Dos Martires

ICMLW 2023 Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick Lennert De Smet, Emanuele Sansone, Pedro Zuidberg Dos Martires

AAAI 2022 Inference and Learning with Model Uncertainty in Probabilistic Logic Programs Victor Verreet, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt

IJCAI 2021 Hybrid Probabilistic Inference with Logical and Algebraic Constraints: A Survey Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, Andrea Passerini

IJCAI 2020 ProbAnch: A Modular Probabilistic Anchoring Framework Andreas Persson, Pedro Zuidberg Dos Martires, Luc De Raedt, Amy Loutfi

AAAI 2019 Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation Pedro Zuidberg Dos Martires, Anton Dries, Luc De Raedt

UAI 2019 How to Exploit Structure While Solving Weighted Model Integration Problems Samuel Kolb, Pedro Zuidberg Dos Martires, Luc De Raedt

IJCAI 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

NeurIPSW 2019 Transforming Probabilistic Programs into Algebraic Circuits for Inference and Learning Pedro Zuidberg Dos Martires, Vincent Derkinderen, Robin Manhaeve, Wannes Meert, Angelika Kimmig, Luc De Raedt