Sotabase
Home
Researchers
Career
·
PhD student in Neurosymbolic AI
,
KU Leuven
Publications
(8)
Extracting Moore Machines from Transformers Using Queries and Counterexamples
International Symposium on Intelligent Data Analysis · 2024
2
cited
Extracting Finite State Machines from Transformers
arXiv.org · 2024
1
cited
ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias
arXiv.org · 2025
The DeepLog Neurosymbolic Machine
arXiv.org · 2025
Sotabase
Rik Adriaensen | Researcher Profile | Sotabase | Sotabase