Sotabase
Home
Researchers
Career
·
Research Intern
,
Basis.ai
2024–
·
Research Intern
,
Bell Labs
·
PhD Student
,
KU Leuven
Publications
(20)
NeurIPS 2020 NLC2CMD Competition: Translating Natural Language to Bash Commands
Neural Information Processing Systems · 2021
18
cited
Soft-Unification in Deep Probabilistic Logic
Neural Information Processing Systems · 2023
15
cited
Towards Understanding Iterative Magnitude Pruning: Why Lottery Tickets Win
arXiv.org · 2021
15
cited
KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
International Conference on Learning Representations · 2024
13
cited
On the Hardness of Probabilistic Neurosymbolic Learning
International Conference on Machine Learning · 2024
7
cited
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
The Gradient of Algebraic Model Counting
AAAI Conference on Artificial Intelligence · 2025
1
cited
Empirical Hardness Analysis of MaxSAT
KLay: Accelerating Sparse Arithmetic Circuits
Sotabase
Jaron Maene | Researcher Profile | Sotabase | Sotabase