Project SHADOW: Symbolic Higher-order Associative Deductive reasoning On Wikidata using LM probing Paper • 2408.14849 • Published Aug 27, 2024 • 4
DSTI at LLMs4OL 2024 Task A: Intrinsic versus extrinsic knowledge for type classification Paper • 2408.14236 • Published Aug 26, 2024 • 4
NeSy is alive and well: A LLM-driven symbolic approach for better code comment data generation and classification Paper • 2402.16910 • Published Feb 25, 2024
Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrapping Paper • 2402.14083 • Published Feb 21, 2024 • 47
SymbolicAI: A framework for logic-based approaches combining generative models and solvers Paper • 2402.00854 • Published Feb 1, 2024 • 19