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