📙Paper: “LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers” 🔑Public: ✅ ⚲ Area: Neurosymbolic 📅 Date: 2023-10-23 🔎 Paper Sec...

📙Paper: “Eliminating Reasoning via Inferring with Planning: A New Framework to Guide LLMs’ Non-linear Thinking” 🔑Public: ✅ ⚲ Area: Dataset 📅 Date: 2023-10-18 🔎 Paper Section: methods / a...

📙Paper: “ACES: Generating Diverse Programming Puzzles with Autotelic Language Models and Semantic Descriptors” 🔑Public: ✅ ⚲ Area: Puzzle generation 📅 Date: 2023-10-15 🔎 Paper Section: Di...

📙Paper: “GLoRE: Evaluating Logical Reasoning of Large Language Models” 🔑Public: ✅ ⚲ Area: Dataset 📅 Date: 2023-10-13 🔎 Paper Section: Introduction 📝 References: 71

📙Paper: “A Systematic Evaluation of Large Language Models on Out-of-Distribution Logical Reasoning Tasks” 🔑Public: ✅ ⚲ Area: Reasoning, Reasoning evaluation 📅 Date: 2023-10-13 🔎 Paper Se...

📙Paper: “Towards Better Chain-of-Thought Prompting Strategies: A Survey” 🔑Public: ✅ ⚲ Area: Prompting, Cot 📅 Date: 2023-10-08 🔎 Paper Section: methods / general methods 📝 References: 1...

📙Paper: “Large Language Models Cannot Self-Correct Reasoning Yet” 🔑Public: ✅ ⚲ Area: Prompting, Self-correction 📅 Date: 2023-10-03 🔎 Paper Section: methods / advanced / self-correction ...

📙Paper: “Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models” 🔑Public: ✅ ⚲ Area: Dataset, Model 📅 Date: 2023-10-02 🔎 Paper Se...

📙Paper: “Avalon’s Game of Thoughts: Battle Against Deception through Recursive Contemplation” 🔑Public: ✅ ⚲ Area: Dataset, Stochastic 📅 Date: 2023-10-02 🔎 Paper Section: dataset / rule-ba...

📙Paper: “BRAINTEASER: Lateral Thinking Puzzles for Large Language Models” 🔑Public: ✅ ⚲ Area: Dataset, Riddles 📅 Date: 2023-10-01 🔎 Paper Section: dataset / rule-less / riddles 📝 Refere...