Pedro Zuidberg Dos Martires

Venues

Frequent coauthors

Papers

1. COvolve: Adversarial Co-Evolution of Large-Language-Model-Generated Policies and Environments via Two-Player Zero-Sum Game
   GECCO 2026 ·

   Alkis Sygkounas

   DBLP profile ↗ORCID search ↗
2. Two Constraint Compilation Methods for Lifted Planning
   AAAI 2026 ·

   Periklis Mantenoglou

   DBLP profile ↗ORCID search ↗
3. A Quantum Information Theoretic Approach to Tractable Probabilistic Models
   UAI 2025 · Pedro Zuidberg Dos Martires
4. KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
   ICLR 2025 ·

   Jaron Maene

   DBLP profile ↗ORCID search ↗
5. LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
   NeurIPS 2025 ·

   Periklis Mantenoglou

   DBLP profile ↗ORCID search ↗
6. REvolve: Reward Evolution with Large Language Models using Human Feedback
   ICLR 2025 ·

   Rishi Hazra

   DBLP profile ↗ORCID search ↗
7. A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetics
   NeurIPS 2024 ·

   Lennert De Smet

   DBLP profile ↗ORCID search ↗
8. Automated Reasoning in Systems Biology: A Necessity for Precision Medicine
   KR 2024 · Pedro Zuidberg Dos Martires
9. Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation
   AAAI 2024 ·

   Gabriele Venturato

   DBLP profile ↗ORCID search ↗
10. Probabilistic Neural Circuits
    AAAI 2024 · Pedro Zuidberg Dos Martires
11. SayCanPay: Heuristic Planning with Large Language Models Using Learnable Domain Knowledge
    AAAI 2024 ·

    Rishi Hazra

    DBLP profile ↗ORCID search ↗