Picture for Jaron Maene

Jaron Maene

KLay: Accelerating Neurosymbolic AI

Add code
Oct 15, 2024
Figure 1 for KLay: Accelerating Neurosymbolic AI
Figure 2 for KLay: Accelerating Neurosymbolic AI
Figure 3 for KLay: Accelerating Neurosymbolic AI
Figure 4 for KLay: Accelerating Neurosymbolic AI
Viaarxiv icon

Extracting Finite State Machines from Transformers

Add code
Oct 08, 2024
Viaarxiv icon

On the Hardness of Probabilistic Neurosymbolic Learning

Add code
Jun 06, 2024
Viaarxiv icon

Towards Understanding Iterative Magnitude Pruning: Why Lottery Tickets Win

Add code
Jun 13, 2021
Figure 1 for Towards Understanding Iterative Magnitude Pruning: Why Lottery Tickets Win
Figure 2 for Towards Understanding Iterative Magnitude Pruning: Why Lottery Tickets Win
Figure 3 for Towards Understanding Iterative Magnitude Pruning: Why Lottery Tickets Win
Figure 4 for Towards Understanding Iterative Magnitude Pruning: Why Lottery Tickets Win
Viaarxiv icon

NeurIPS 2020 NLC2CMD Competition: Translating Natural Language to Bash Commands

Add code
Mar 03, 2021
Figure 1 for NeurIPS 2020 NLC2CMD Competition: Translating Natural Language to Bash Commands
Figure 2 for NeurIPS 2020 NLC2CMD Competition: Translating Natural Language to Bash Commands
Figure 3 for NeurIPS 2020 NLC2CMD Competition: Translating Natural Language to Bash Commands
Viaarxiv icon