Jaron Maene

According to our database, Jaron Maene authored at least 10 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits.

Annaëlle Baiget, Jaron Maene, Seongmin Lee, Benjie Wang, Guy Van den Broeck, Miryung Kim

CoRR, April, 2026

2025

Extracting Moore Machines from Transformers Using Queries and Counterexamples.

Rik Adriaensen, Jaron Maene

Proceedings of the Advances in Intelligent Data Analysis XXIII, 2025

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI.

Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

The Gradient of Algebraic Model Counting.

Jaron Maene, Luc De Raedt

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

KLay: Accelerating Neurosymbolic AI.

Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires

CoRR, 2024

Extracting Finite State Machines from Transformers.

Rik Adriaensen, Jaron Maene

CoRR, 2024

On the Hardness of Probabilistic Neurosymbolic Learning.

Jaron Maene, Vincent Derkinderen, Luc De Raedt

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

Soft-Unification in Deep Probabilistic Logic.

Jaron Maene, Luc De Raedt

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2021

Towards Understanding Iterative Magnitude Pruning: Why Lottery Tickets Win.

Jaron Maene, Mingxiao Li, Marie-Francine Moens

CoRR, 2021

2020

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

Proceedings of the NeurIPS 2020 Competition and Demonstration Track, 2020