Terminating Differentiable Tree ExpertsJonathan ThommMichael Herscheet al.2024NeSy 2024Conference paper
Factorizers for Distributed Sparse Block CodesMichael HerscheAleksandar Terzicet al.2024Neurosymbolic AIPaper
Towards Learning Abductive Reasoning using VSA Distributed RepresentationsGiacomo CamposampieroMichael Herscheet al.2024NeSy 2024Conference paper
Exploiting Computation in Superposition via Multiple-Input-Multiple-Output Neural NetworksNicolas MenetMichael Herscheet al.2024NeSy 2024Short paper
Towards a Benchmark for Causal Business Process Reasoning with LLMsFabiana FournierLior Limonadet al.2024BPM 2024Workshop paper
STARLING: Self-supervised Training of Text-based Reinforcement Learning Agent with Large Language ModelsShreyas BasavatiaKeerthiram Murugesanet al.2024ACL 2024Paper
What makes Models Compositional? A Theoretical ViewParikshit RamTim Klingeret al.2024IJCAI 2024Conference paper
What makes a Model Compositional? A Neuro-Symbolic Theoretical ViewParikshit RamTim Klingeret al.2024IJCAI 2024Workshop paper
On the Number of Quantifiers Needed to Define Boolean FunctionsMarco CarmosinoRonald Faginet al.2024MFCS 2024Conference paper
Graph2Tac: Online Representation Learning of Formal Math ConceptsLasse BlaauwbroekMiroslav Olšáket al.2024ICML 2024Conference paper