| Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees | Aug 21, 2023 | Logical Reasoning | CodeCode Available | 0 |
| How susceptible are LLMs to Logical Fallacies? | Aug 18, 2023 | DiagnosticLogical Fallacies | CodeCode Available | 0 |
| Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert | Aug 18, 2023 | Equation DiscoveryLogical Reasoning | CodeCode Available | 1 |
| Learning the meanings of function words from grounded language using a visual question answering model | Aug 16, 2023 | Logical ReasoningQuestion Answering | CodeCode Available | 0 |
| Boosting Logical Reasoning in Large Language Models through a New Framework: The Graph of Thought | Aug 16, 2023 | Logical Reasoning | —Unverified | 0 |
| Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic | Aug 11, 2023 | Formal LogicLogical Reasoning | CodeCode Available | 1 |
| Thinking Like an Expert:Multimodal Hypergraph-of-Thought (HoT) Reasoning to boost Foundation Modals | Aug 11, 2023 | Graph LearningLogical Reasoning | —Unverified | 0 |
| Cumulative Reasoning with Large Language Models | Aug 8, 2023 | Decision MakingLogical Reasoning | CodeCode Available | 2 |
| Structural Embeddings of Tools for Large Language Models | Aug 1, 2023 | Logical Reasoning | —Unverified | 0 |
| COLLIE: Systematic Construction of Constrained Text Generation Tasks | Jul 17, 2023 | Logical ReasoningSentence | CodeCode Available | 1 |
| EFO_k-CQA: Towards Knowledge Graph Complex Query Answering beyond Set Operation | Jul 15, 2023 | Complex Query AnsweringKnowledge Graphs | CodeCode Available | 1 |
| Is ChatGPT a Good Personality Recognizer? A Preliminary Study | Jul 8, 2023 | FairnessLogical Reasoning | —Unverified | 0 |
| What is the Title of this Paper? Solving logic puzzles using algorithms | Jun 30, 2023 | Logical Reasoning | —Unverified | 0 |
| Meta-Reasoning: Semantics-Symbol Deconstruction for Large Language Models | Jun 30, 2023 | Domain GeneralizationIn-Context Learning | CodeCode Available | 0 |
| Counterfactual Collaborative Reasoning | Jun 30, 2023 | counterfactualCounterfactual Reasoning | —Unverified | 0 |
| Exploring & Exploiting High-Order Graph Structure for Sparse Knowledge Graph Completion | Jun 29, 2023 | Knowledge Graph CompletionLogical Reasoning | —Unverified | 0 |
| IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning | Jun 27, 2023 | Logical ReasoningMachine Reading Comprehension | CodeCode Available | 1 |
| Evaluating Large Language Models with NeuBAROCO: Syllogistic Reasoning Ability and Human-like Biases | Jun 21, 2023 | Logical Reasoning | —Unverified | 0 |
| Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension | Jun 21, 2023 | Logical ReasoningMachine Reading Comprehension | CodeCode Available | 1 |
| Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyond | Jun 16, 2023 | BenchmarkingEvidence Selection | CodeCode Available | 1 |
| Language to Rewards for Robotic Skill Synthesis | Jun 14, 2023 | In-Context LearningLogical Reasoning | —Unverified | 0 |
| V-LoL: A Diagnostic Dataset for Visual Logical Learning | Jun 13, 2023 | DiagnosticLogical Reasoning | CodeCode Available | 0 |
| Large Language Models as Tax Attorneys: A Case Study in Legal Capabilities Emergence | Jun 12, 2023 | Logical Reasoning | —Unverified | 0 |
| Human-in-the-Loop through Chain-of-Thought | Jun 10, 2023 | Logical Reasoning | —Unverified | 0 |
| LogiQA 2.0—An Improved Dataset for Logical Reasoning in Natural Language Understanding | Jun 6, 2023 | Logical ReasoningLogical Reasoning Reading Comprehension | CodeCode Available | 0 |
| Deductive Verification of Chain-of-Thought Reasoning | Jun 6, 2023 | Logical Reasoning | CodeCode Available | 1 |
| Certified Deductive Reasoning with Language Models | Jun 6, 2023 | Logical Reasoningvalid | CodeCode Available | 1 |
| ChatGPT is a Remarkable Tool -- For Experts | Jun 2, 2023 | Logical Reasoning | —Unverified | 0 |
| Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork | Jun 1, 2023 | Logical Reasoning | —Unverified | 0 |
| InDL: A New Dataset and Benchmark for In-Diagram Logic Interpretation based on Visual Illusion | May 28, 2023 | BenchmarkingDecision Making | CodeCode Available | 0 |
| Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks | May 27, 2023 | Logical Reasoning | CodeCode Available | 0 |
| Counterfactual reasoning: Testing language models' understanding of hypothetical scenarios | May 26, 2023 | counterfactualCounterfactual Reasoning | CodeCode Available | 1 |
| Not wacky vs. definitely wacky: A study of scalar adverbs in pretrained language models | May 25, 2023 | Logical ReasoningWord Embeddings | —Unverified | 0 |
| Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic | May 24, 2023 | Logical ReasoningMath | CodeCode Available | 0 |
| Deduction under Perturbed Evidence: Probing Student Simulation Capabilities of Large Language Models | May 23, 2023 | Logical ReasoningStrategyQA | —Unverified | 0 |
| Exploring Self-supervised Logic-enhanced Training for Large Language Models | May 23, 2023 | In-Context LearningLogical Reasoning | CodeCode Available | 0 |
| Query Structure Modeling for Inductive Logical Reasoning Over Knowledge Graphs | May 23, 2023 | Knowledge GraphsLogical Reasoning | CodeCode Available | 0 |
| Memory-Efficient Fine-Tuning of Compressed Large Language Models via sub-4-bit Integer Quantization | May 23, 2023 | In-Context LearningLanguage Modeling | —Unverified | 0 |
| Atomic Inference for NLI with Generated Facts as Atoms | May 22, 2023 | Logical ReasoningNatural Language Inference | CodeCode Available | 0 |
| Teaching Probabilistic Logical Reasoning to Transformers | May 22, 2023 | Logical ReasoningQuestion Answering | CodeCode Available | 0 |
| Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning | May 21, 2023 | Abstract Meaning RepresentationContrastive Learning | CodeCode Available | 1 |
| LogiCoT: Logical Chain-of-Thought Instruction-Tuning | May 20, 2023 | Logical ReasoningText Generation | CodeCode Available | 1 |
| Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning | May 20, 2023 | Logical Reasoning | CodeCode Available | 2 |
| Hint of Thought prompting: an explainable and zero-shot approach to reasoning tasks with LLMs | May 19, 2023 | Arithmetic ReasoningGSM8K | —Unverified | 0 |
| A Simple Generative Model of Logical Reasoning and Statistical Learning | May 18, 2023 | Bayesian InferenceFormal Logic | —Unverified | 0 |
| Knowledge Authoring for Rules and Actions | May 12, 2023 | Logical Reasoning | —Unverified | 0 |
| Scalable Coupling of Deep Learning with Logical Reasoning | May 12, 2023 | Deep LearningLogical Reasoning | CodeCode Available | 0 |
| Not All Languages Are Created Equal in LLMs: Improving Multilingual Capability by Cross-Lingual-Thought Prompting | May 11, 2023 | AllArithmetic Reasoning | CodeCode Available | 1 |
| Wasserstein-Fisher-Rao Embedding: Logical Query Embeddings with Local Comparison and Global Transport | May 6, 2023 | Knowledge GraphsLogical Reasoning | CodeCode Available | 1 |
| Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming | May 5, 2023 | Logical Reasoning | CodeCode Available | 1 |
