5 citations · 5 across the 2 of their papers we have counts for
3 papers · 1 filter
KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
Jaron Maene, Vincent Derkinderen, Pedro Zuidberg Dos Martires
A popular approach to neurosymbolic AI involves mapping logic formulas to arithmetic circuits (computation graphs consisting of sums and products) and passing the outputs of a neur…
Extracting Moore Machines from Transformers using Queries and Counterexamples
Rik Adriaensen, Jaron Maene
Fuelled by the popularity of the transformer architecture in deep learning, several works have investigated what formal languages a transformer can learn from data. Nonetheless, ex…
Towards Understanding Iterative Magnitude Pruning: Why Lottery Tickets Win
Jaron Maene, Mingxiao Li, Marie-Francine Moens
The lottery ticket hypothesis states that sparse subnetworks exist in randomly initialized dense networks that can be trained to the same accuracy as the dense network they reside…