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
Deductive Verification of LLM generated SPARQL queriesAlexandre RademakerGuilherme Augusto Ferreira Limaet al.2024LREC-COLING 2024
GENOME: Generative Neuro-Symbolic Visual Reasoning by Growing and Reusing ModulesZhenfang ChenRui Sunet al.2024ICLR 2024
A Probabilistic Framework for Modular Continual LearningLazar ValkovAkash Srivastavaet al.2024ICLR 2024
Theory-guided Message Passing Neural Network for Probabilistic InferenceZijun CuiHanjing Wanget al.2024AISTATS 2024