symbolic-reasoning topic

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

scallop-lang

From Chain-of-Thought prompting to OpenAI o1 and DeepSeek-R1 🍓

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