Jaron Maene

12 papers A* 4B 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 B conf
Extracting Moore Machines from Transformers Using Queries and Counterexamples.
IDA
Rik Adriaensen, Jaron Maene
2025 A* conf
KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI.
ICLR
Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
2025 A* conf
The Gradient of Algebraic Model Counting.
AAAI
Jaron Maene, Luc De Raedt
2025 J jnl
The Gradient of Algebraic Model Counting.
CoRR
Jaron Maene, Luc De Raedt
2024 J jnl
Extracting Finite State Machines from Transformers.
CoRR
Rik Adriaensen, Jaron Maene
2024 J jnl
KLay: Accelerating Neurosymbolic AI.
CoRR
Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
2024 A* conf
On the Hardness of Probabilistic Neurosymbolic Learning.
ICML
Jaron Maene, Vincent Derkinderen, Luc De Raedt
2024 J jnl
On the Hardness of Probabilistic Neurosymbolic Learning.
CoRR
Jaron Maene, Vincent Derkinderen, Luc De Raedt
2023 A* conf
Soft-Unification in Deep Probabilistic Logic.
NeurIPS
Jaron Maene, Luc De Raedt
2021 J jnl
NeurIPS 2020 NLC2CMD Competition: Translating Natural Language to Bash Commands.
CoRR
Mayank Agarwal, Tathagata Chakraborti, Quchen Fu, David Gros, Xi Victoria Lin, Jaron Maene, Kartik Talamadupula, Zhongwei Teng, Jules White
2021 J jnl
Towards Understanding Iterative Magnitude Pruning: Why Lottery Tickets Win.
CoRR
Jaron Maene, Mingxiao Li, Marie-Francine Moens
2020 — conf
NeurIPS 2020 NLC2CMD Competition: Translating Natural Language to Bash Commands.
NeurIPS (Competition and Demos)
Mayank Agarwal, Tathagata Chakraborti, Quchen Fu, David Gros, Xi Victoria Lin, Jaron Maene, Kartik Talamadupula, Zhongwei Teng, Jules White