Lennert De Smet

12 papers A* 3A 2Journal 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Defining neurosymbolic AI.
CoRR
Lennert De Smet, Luc De Raedt
2025 A* conf
Relational Neurosymbolic Markov Models.
AAAI
Lennert De Smet, Gabriele Venturato, Luc De Raedt, Giuseppe Marra
2025 J jnl
The DeepLog Neurosymbolic Machine.
CoRR
Vincent Derkinderen, Robin Manhaeve, Rik Adriaensen, Lucas Van Praet, Lennert De Smet, Giuseppe Marra, Luc De Raedt
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
EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic.
ECAI
Victor Verreet, Lennert De Smet, Luc De Raedt, Emanuele Sansone
2024 J jnl
EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic.
CoRR
Victor Verreet, Lennert De Smet, Luc De Raedt, Emanuele Sansone
2024 J jnl
Relational Neurosymbolic Markov Models.
CoRR
Lennert De Smet, Gabriele Venturato, Luc De Raedt, Giuseppe Marra
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 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling