NeurIPS 2020 NLC2CMD Competition: Translating Natural Language to Bash Commands. - Mayank Agarwal; Tathagata Chakraborti; Quchen Fu; David Gros; Xi Victoria Lin; Jaron Maene; Kartik Talamadupula; Zhongwei Teng; Jules White (NeurIPS (Competition and Demos), 2020)

Towards Understanding Iterative Magnitude Pruning: Why Lottery Tickets Win. - Jaron Maene; Mingxiao Li 002; Marie-Francine Moens (CoRR, 2021)

Soft-Unification in Deep Probabilistic Logic. - Jaron Maene; Luc De Raedt (NeurIPS, 2023)

On the Hardness of Probabilistic Neurosymbolic Learning. - Jaron Maene; Vincent Derkinderen; Luc De Raedt (ICML, 2024)

Extracting Finite State Machines from Transformers. - Rik Adriaensen; Jaron Maene (CoRR, 2024)

KLay: Accelerating Neurosymbolic AI. - Jaron Maene; Vincent Derkinderen; Pedro Zuidberg Dos Martires (CoRR, 2024)

The Gradient of Algebraic Model Counting. - Jaron Maene; Luc De Raedt (AAAI, 2025)

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI. - Jaron Maene; Vincent Derkinderen; Pedro Zuidberg Dos Martires (ICLR, 2025)

Extracting Moore Machines from Transformers Using Queries and Counterexamples. - Rik Adriaensen; Jaron Maene (IDA, 2025)