symbolic-reasoning topic

Framework and Language for Neurosymbolic Programming. Join Our Discord: https://discord.gg/RavzdND229

scallop-lang

Reasoning in Large Language Models: Papers and Resources, including Chain-of-Thought and OpenAI o1 🍓

atfortes

[ACL 2023] Reasoning with Language Model Prompting: A Survey

zjunlp

[EMNLP 2023, Findings] GRACE: Discriminator-Guided Chain-of-Thought Reasoning

mukhal

ICML 23': Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization

bys0318

ToK aka Tree of Knowledge for Large Language Models LLM. It's a novel dataset that inspires knowledge symbolic correlation in simple input and output prompts

fblgit