5 citations · 6 across the 8 of their papers we have counts for
8 papers
Weakly Supervised Segmentation as Semantic-Based Regularization
Stefano Colamonaco, Andrei-Bogdan Florea, Jaron Maene
Weakly supervised semantic segmentation (WSSS) trains dense pixel-level segmentation models from partial or coarse annotations such as bounding boxes, scribbles, or image-level tag…
ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits
Annaëlle Baiget, Jaron Maene, Seongmin Lee +3
Understanding and explaining the structure of generated test inputs is essential for effective software testing and debugging. Existing approaches--including grammar-based fuzzers,…
The Gradient of Algebraic Model Counting
Jaron Maene, Luc De Raedt
Algebraic model counting unifies many inference tasks on logic formulas by exploiting semirings. Rather than focusing on inference, we consider learning, especially in statistical-…
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…
On the Hardness of Probabilistic Neurosymbolic Learning
Jaron Maene, Vincent Derkinderen, Luc De Raedt
The limitations of purely neural learning have sparked an interest in probabilistic neurosymbolic models, which combine neural networks with probabilistic logical reasoning. As the…
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…
NeurIPS 2020 NLC2CMD Competition: Translating Natural Language to Bash Commands
Mayank Agarwal, Tathagata Chakraborti, Quchen Fu +6
The NLC2CMD Competition hosted at NeurIPS 2020 aimed to bring the power of natural language processing to the command line. Participants were tasked with building models that can t…