Pedro Zuidberg Dos Martires

49 papers A* 14A 4C 1Journal 30

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	APC-RL: Exceeding Data-Driven Behavior Priors with Adaptive Policy Composition. CoRR Finn Rietz, Pedro Zuidberg Dos Martires, Johannes Andreas Stork
2026	J	`jnl`	COvolve: Adversarial Co-Evolution of Large-Language-Model-Generated Policies and Environments via Two-Player Zero-Sum Game. CoRR Alkis Sygkounas, Rishi Hazra, Andreas Persson, Pedro Zuidberg Dos Martires, Amy Loutfi
2026	A*	`conf`	Two Constraint Compilation Methods for Lifted Planning. AAAI Periklis Mantenoglou, Luigi Bonassi, Enrico Scala, Pedro Zuidberg Dos Martires
2025	A	`conf`	A Quantum Information Theoretic Approach to Tractable Probabilistic Models. UAI Pedro Zuidberg Dos Martires
2025	J	`jnl`	A Quantum Information Theoretic Approach to Tractable Probabilistic Models. CoRR Pedro Zuidberg Dos Martires
2025	J	`jnl`	Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition. CoRR Rishi Hazra, Gabriele Venturato, Pedro Zuidberg Dos Martires, Luc De Raedt
2025	J	`jnl`	Independence Is Not an Issue in Neurosymbolic AI. CoRR Håkan Karlsson Faronius, Pedro Zuidberg Dos Martires
2025	A*	`conf`	KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI. ICLR Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
2025	J	`jnl`	LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language. CoRR Periklis Mantenoglou, Rishi Hazra, Pedro Zuidberg Dos Martires, Luc De Raedt
2025	J	`jnl`	Neurosymbolic Decision Trees. CoRR Matthias Möller, Arvid Norlander, Pedro Zuidberg Dos Martires, Luc De Raedt
2025	A*	`conf`	REvolve: Reward Evolution with Large Language Models using Human Feedback. ICLR Rishi Hazra, Alkis Sygkounas, Andreas Persson, Amy Loutfi, Pedro Zuidberg Dos Martires
2025	J	`jnl`	Two Constraint Compilation Methods for Lifted Planning. CoRR Periklis Mantenoglou, Luigi Bonassi, Enrico Scala, Pedro Zuidberg Dos Martires
2024	J	`jnl`	A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic. CoRR Lennert De Smet, Pedro Zuidberg Dos Martires
2024	A*	`conf`	A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetics. NeurIPS Lennert De Smet, Pedro Zuidberg Dos Martires
2024	A*	`conf`	Automated Reasoning in Systems Biology: A Necessity for Precision Medicine. KR Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz
2024	J	`jnl`	Automated Reasoning in Systems Biology: a Necessity for Precision Medicine. CoRR Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz
2024	J	`jnl`	Can Large Language Models Reason? A Characterization via 3-SAT. CoRR Rishi Hazra, Gabriele Venturato, Pedro Zuidberg Dos Martires, Luc De Raedt
2024	J	`jnl`	Declarative probabilistic logic programming in discrete-continuous domains. Artif. Intell. Pedro Zuidberg Dos Martires, Luc De Raedt, Angelika Kimmig
2024	A*	`conf`	Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation. AAAI Gabriele Venturato, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt
2024	J	`jnl`	KLay: Accelerating Neurosymbolic AI. CoRR Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
2024	A*	`conf`	Probabilistic Neural Circuits. AAAI Pedro Zuidberg Dos Martires
2024	J	`jnl`	Probabilistic Neural Circuits. CoRR Pedro Zuidberg Dos Martires
2024	J	`jnl`	REvolve: Reward Evolution with Large Language Models for Autonomous Driving. CoRR Rishi Hazra, Alkis Sygkounas, Andreas Persson, Amy Loutfi, Pedro Zuidberg Dos Martires
2024	A*	`conf`	SayCanPay: Heuristic Planning with Large Language Models Using Learnable Domain Knowledge. AAAI Rishi Hazra, Pedro Zuidberg Dos Martires, Luc De Raedt
2024	J	`jnl`	Semirings for Probabilistic and Neuro-Symbolic Logic Programming. CoRR Vincent Derkinderen, Robin Manhaeve, Pedro Zuidberg Dos Martires, Luc De Raedt
2024	J	`jnl`	Semirings for probabilistic and neuro-symbolic logic programming. Int. J. Approx. Reason. Vincent Derkinderen, Robin Manhaeve, Pedro Zuidberg Dos Martires, Luc De Raedt
2023	J	`jnl`	Declarative Probabilistic Logic Programming in Discrete-Continuous Domains. CoRR Pedro Zuidberg Dos Martires, Luc De Raedt, Angelika Kimmig
2023	A*	`conf`	Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick. NeurIPS Lennert De Smet, Emanuele Sansone, Pedro Zuidberg Dos Martires
2023	J	`jnl`	Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick. CoRR Lennert De Smet, Emanuele Sansone, Pedro Zuidberg Dos Martires
2023	J	`jnl`	Neural Probabilistic Logic Programming in Discrete-Continuous Domains. CoRR Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, Luc De Raedt
2023	A	`conf`	Neural probabilistic logic programming in discrete-continuous domains. UAI Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, Luc De Raedt
2023	J	`jnl`	SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge. CoRR Rishi Hazra, Pedro Zuidberg Dos Martires, Luc De Raedt
2023	J	`jnl`	Top-Down Knowledge Compilation for Counting Modulo Theories. CoRR Vincent Derkinderen, Pedro Zuidberg Dos Martires, Samuel Kolb, Paolo Morettin
2022	A*	`conf`	Inference and Learning with Model Uncertainty in Probabilistic Logic Programs. AAAI Victor Verreet, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt
2021	A*	`conf`	Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey. IJCAI Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, Andrea Passerini
2021	J	`jnl`	Measure Theoretic Weighted Model Integration. CoRR Ivan Miosic, Pedro Zuidberg Dos Martires
2021	C	`conf`	Neural Semirings. NeSy Pedro Zuidberg Dos Martires
2020	J	`jnl`	Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration. CoRR Pedro Zuidberg Dos Martires, Samuel Kolb
2020	A	`conf`	Ordering Variables for Weighted Model Integration. UAI Vincent Derkinderen, Evert Heylen, Pedro Zuidberg Dos Martires, Samuel Kolb, Luc De Raedt
2020	A*	`conf`	ProbAnch: a Modular Probabilistic Anchoring Framework. IJCAI Andreas Persson, Pedro Zuidberg Dos Martires, Luc De Raedt, Amy Loutfi
2020	J	`jnl`	Semantic Relational Object Tracking. IEEE Trans. Cogn. Dev. Syst. Andreas Persson, Pedro Zuidberg Dos Martires, Luc De Raedt, Amy Loutfi
2020	J	`jnl`	Symbolic Learning and Reasoning With Noisy Data for Probabilistic Anchoring. Frontiers Robotics AI Pedro Zuidberg Dos Martires, Nitesh Kumar, Andreas Persson, Amy Loutfi, Luc De Raedt
2020	J	`jnl`	Symbolic Learning and Reasoning with Noisy Data for Probabilistic Anchoring. CoRR Pedro Zuidberg Dos Martires, Nitesh Kumar, Andreas Persson, Amy Loutfi, Luc De Raedt
2019	A*	`conf`	Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation. AAAI Pedro Zuidberg Dos Martires, Anton Dries, Luc De Raedt
2019	A	`conf`	How to Exploit Structure while Solving Weighted Model Integration Problems. UAI Samuel Kolb, Pedro Zuidberg Dos Martires, Luc De Raedt
2019	J	`jnl`	Learning from Implicit Information in Natural Language Instructions for Robotic Manipulations. CoRR Ozan Arkan Can, Pedro Zuidberg Dos Martires, Andreas Persson, Julian Gaal, Amy Loutfi, Luc De Raedt, Deniz Yuret, Alessandro Saffiotti
2019	J	`jnl`	Semantic Relational Object Tracking. CoRR Andreas Persson, Pedro Zuidberg Dos Martires, Amy Loutfi, Luc De Raedt
2019	A*	`conf`	The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration. IJCAI Samuel Kolb, Paolo Morettin, Pedro Zuidberg Dos Martires, Francesco Sommavilla, Andrea Passerini, Roberto Sebastiani, Luc De Raedt
2018	J	`jnl`	Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming. CoRR Pedro Zuidberg Dos Martires, Anton Dries, Luc De Raedt