Skip to content

Jaron Maene

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

4

Venues

4

Active years

2024–2025

Best venue rank

A*

Where they publish

Papers

4 indexed papers, newest first.

YearVenueTitleAuthors
2025AAAIThe Gradient of Algebraic Model Counting.Jaron Maene, Luc De Raedt
2025ICLRKLay: Accelerating Arithmetic Circuits for Neurosymbolic AI.Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
2025IDAExtracting Moore Machines from Transformers Using Queries and Counterexamples.Rik Adriaensen, Jaron Maene
2024ICMLOn the Hardness of Probabilistic Neurosymbolic Learning.Jaron Maene, Vincent Derkinderen, Luc De Raedt