Alternatives and similar repositories for LogicLLaMA:

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

• Yale-LILY / FOLIO
  ☆118Updated last year
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆139Updated 5 months ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆64Updated last year
• WANGXinyiLinda / LM_random_walk
  Official code for paper Understanding the Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation
  ☆20Updated last year
• berlino / grammar-prompting
  Grammar Prompting for Domain-Specific Language Generation with Large Language Models
  ☆65Updated last year
• sunlab-osu / Understanding-CoT
  ☆86Updated last year
• GXimingLu / neurologic_decoding
  ☆82Updated 2 years ago
• zzh-SJTU / CRT-QA
  The official data and code for EMNLP 2023 main conference paper: CRT-QA: A Dataset of Complex Reasoning Question Answering over Tabular D…
  ☆10Updated 11 months ago
• xhan77 / context-aware-decoding
  ☆39Updated 4 months ago
• zthang / Focus
  ☆17Updated last year
• princeton-nlp / MQuAKE
  [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions
  ☆107Updated 6 months ago
• zharry29 / wikihow-goal-step
  Data and code accompanying the paper "Reasoning about Goals, Steps, and Temporal Ordering with WikiHow"
  ☆32Updated 2 years ago
• linlu-qiu / lm-inductive-reasoning
  ☆34Updated last year
• allanj / Deductive-MWP
  ☆62Updated 2 years ago
• jiachangliu / KATEGPT3
  ☆36Updated last year
• Mihir3009 / LogicBench
  LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…
  ☆21Updated 10 months ago
• HKUST-KnowComp / CAT
  Code for the ACL2023 paper: CAT: A Contextualized Conceptualization and Instantiation Framework for Commonsense Reasoning (https://aclant…
  ☆11Updated last year
• cicl-stanford / procedural-evals-tom
  ☆29Updated last year
• OSU-NLP-Group / LLM-Knowledge-Conflict
  [ICLR'24 Spotlight] "Adaptive Chameleon or Stubborn Sloth: Revealing the Behavior of Large Language Models in Knowledge Conflicts"
  ☆67Updated 11 months ago
• yuzhaouoe / SAE-based-representation-engineering
  [NAACL'25 Oral] Steering Knowledge Selection Behaviours in LLMs via SAE-Based Representation Engineering
  ☆52Updated 4 months ago
• wenhuchen / Time-Sensitive-QA
  Code and Data for NeurIPS2021 Paper "A Dataset for Answering Time-Sensitive Questions"
  ☆67Updated 3 years ago
• MichSchli / AVeriTeC
  ☆57Updated 4 months ago
• ellaneeman / disent_qa
  This code accompanies the paper DisentQA: Disentangling Parametric and Contextual Knowledge with Counterfactual Question Answering.
  ☆17Updated 2 years ago
• liujch1998 / rainier
  ☆28Updated last year
• zhliu0106 / probing-lm-data
  Official Implementation of "Probing Language Models for Pre-training Data Detection"
  ☆17Updated 3 months ago
• GAIR-NLP / alignment-for-honesty
  ☆73Updated 10 months ago
• ronentk / dbca-splitter
  Independent implementation of DBCA method from http://arxiv.org/abs/1912.09713
  ☆11Updated 4 years ago
• alevkov / text2log
  Character-based seq2seq models (english => predicate logic)
  ☆14Updated 4 years ago
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆84Updated 6 months ago
• yilunzhao / Awsome-Table-Reasoning
  A comprehensive paper list of Reasoning over Tables.
  ☆27Updated 2 years ago