PPaperPicks

Luc De Raedt

15 papers at tracked venues · 8 at CORE A* · active 20242026

Venues

Frequent coauthors

Papers

  1. DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
  2. DEEPGRAPHLOG for Layered Neurosymbolic AI
  3. LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
  4. NeSyA: Neurosymbolic Automata
  5. Neurosymbolic OCR for Handwritten Tax Forms
  6. Neurosymbolic Reinforcement Learning: Playing MiniHack with Probabilistic Logic Shields
  7. Queryable and Interpretable PU Learning Through Probabilistic Circuits
  8. Relational Neurosymbolic Markov Models
  9. TABIA: A Language to Transform, Combine, and Reason over Semi-Structured Tabular Data
  10. The Gradient of Algebraic Model Counting
  11. Automated Reasoning in Systems Biology: A Necessity for Precision Medicine
    KR 2024 ·
    Pedro Zuidberg Dos Martires
  12. EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
  13. Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation
  14. On the Hardness of Probabilistic Neurosymbolic Learning
  15. SayCanPay: Heuristic Planning with Large Language Models Using Learnable Domain Knowledge