Alternatives and similar repositories for LogicLLaMA

Users that are interested in LogicLLaMA are comparing it to the libraries listed below

• Yale-LILY / FOLIO
  ☆139Updated 2 years ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆80Updated 2 years ago
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆154Updated 5 months ago
• teacherpeterpan / Logic-LLM
  The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
  ☆376Updated last year
• Mihir3009 / LogicBench
  LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…
  ☆36Updated last year
• berlino / grammar-prompting
  Grammar Prompting for Domain-Specific Language Generation with Large Language Models
  ☆75Updated 2 years ago
• zhudotexe / fanoutqa
  Companion code for FanOutQA: Multi-Hop, Multi-Document Question Answering for Large Language Models (ACL 2024)
  ☆59Updated 4 months ago
• StonyBrookNLP / musique
  Repository for MuSiQue: Multi-hop Questions via Single-hop Question Composition, TACL 2022
  ☆189Updated last year
• dki-lab / Pangu
  Code for reproducing the ACL'23 paper: Don't Generate, Discriminate: A Proposal for Grounding Language Models to Real-World Environments
  ☆78Updated 8 months ago
• FreedomIntelligence / ReasoningNLP
  paper list on reasoning in NLP
  ☆195Updated 10 months ago
• TIGER-AI-Lab / Program-of-Thoughts
  Data and Code for Program of Thoughts [TMLR 2023]
  ☆306Updated last year
• Alab-NII / 2wikimultihop
  ☆138Updated 2 years ago
• WANGXinyiLinda / LM_random_walk
  Official code for paper Understanding the Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation
  ☆21Updated last year
• canghongjian / beam_retriever
  [NAACL 2024] End-to-End Beam Retrieval for Multi-Hop Question Answering
  ☆124Updated last year
• sunlab-osu / Understanding-CoT
  ☆88Updated 2 years ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆39Updated 2 years ago
• princeton-nlp / MQuAKE
  [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions
  ☆119Updated last year
• Aiden0526 / SymbCoT
  Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".
  ☆201Updated 2 weeks ago
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆53Updated last year
• arkilpatel / SVAMP
  NAACL 2021: Are NLP Models really able to Solve Simple Math Word Problems?
  ☆139Updated 3 years ago
• liujch1998 / rainier
  ☆28Updated last year
• wenhuchen / Time-Sensitive-QA
  Code and Data for NeurIPS2021 Paper "A Dataset for Answering Time-Sensitive Questions"
  ☆75Updated 3 years ago
• SuperBruceJia / Awesome-LLM-Self-Consistency
  Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models
  ☆119Updated 6 months ago
• OSU-NLP-Group / LLM-Knowledge-Conflict
  [ICLR'24 Spotlight] "Adaptive Chameleon or Stubborn Sloth: Revealing the Behavior of Large Language Models in Knowledge Conflicts"
  ☆81Updated last year
• zthang / Focus
  ☆22Updated 2 years ago
• teacherpeterpan / ProgramFC
  Codes for ACL 2023 Paper "Fact-Checking Complex Claims with Program-Guided Reasoning"
  ☆31Updated 2 years ago
• matt-seb-ho / WikiWhy
  WikiWhy is a new benchmark for evaluating LLMs' ability to explain between cause-effect relationships. It is a QA dataset containing 9000…
  ☆48Updated 2 years ago
• jaehunjung1 / Maieutic-Prompting
  ☆50Updated 2 years ago
• yilunzhao / Awsome-Table-Reasoning
  A comprehensive paper list of Reasoning over Tables.
  ☆30Updated 3 years ago
• yuh-zha / AlignScore
  ACL2023 - AlignScore, a metric for factual consistency evaluation.
  ☆150Updated last year