Jaron Maene

Orcid: 0000-0001-9474-6150

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits.
CoRR, April, 2026

2025
Extracting Moore Machines from Transformers Using Queries and Counterexamples.
Proceedings of the Advances in Intelligent Data Analysis XXIII, 2025

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI.
Proceedings of the Thirteenth International Conference on Learning Representations, 2025

The Gradient of Algebraic Model Counting.
Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024
KLay: Accelerating Neurosymbolic AI.
CoRR, 2024

Extracting Finite State Machines from Transformers.
CoRR, 2024

On the Hardness of Probabilistic Neurosymbolic Learning.
Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023
Soft-Unification in Deep Probabilistic Logic.
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.
CoRR, 2021

2020
NeurIPS 2020 NLC2CMD Competition: Translating Natural Language to Bash Commands.
Proceedings of the NeurIPS 2020 Competition and Demonstration Track, 2020


  Loading...