Alternatives and similar repositories for TheoremQA

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

• protagolabs / odyssey-math
  ☆84Updated 8 months ago
• WHGTyen / BIG-Bench-Mistake
  A dataset of LLM-generated chain-of-thought steps annotated with mistake location.
  ☆82Updated last year
• veronica320 / Faithful-COT
  Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".
  ☆163Updated last year
• TIGER-AI-Lab / MAmmoTH2
  Official code for "MAmmoTH2: Scaling Instructions from the Web" [NeurIPS 2024]
  ☆148Updated 11 months ago
• IBM / SALMON
  Self-Alignment with Principle-Following Reward Models
  ☆165Updated 2 weeks ago
• allenai / Lila
  A unified benchmark for math reasoning
  ☆88Updated 2 years ago
• oriyor / reasoning-on-cots
  Implementation of the paper: "Answering Questions by Meta-Reasoning over Multiple Chains of Thought"
  ☆96Updated last year
• princeton-nlp / LLMBar
  [ICLR 2024] Evaluating Large Language Models at Evaluating Instruction Following
  ☆131Updated last year
• i-Eval / FairEval
  ☆140Updated 2 years ago
• bhargaviparanjape / language-programmes
  ☆173Updated 2 years ago
• TIGER-AI-Lab / TheoremQA
  The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)
  ☆34Updated last year
• neulab / gemini-benchmark
  ☆150Updated last year
• keirp / OpenWebMath
  ☆163Updated last year
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆150Updated 3 weeks ago
• facebookresearch / Shepherd
  This is the repo for the paper Shepherd -- A Critic for Language Model Generation
  ☆218Updated 2 years ago
• TIGER-AI-Lab / Program-of-Thoughts
  Data and Code for Program of Thoughts [TMLR 2023]
  ☆286Updated last year
• YuxiXie / SelfEval-Guided-Decoding
  ☆103Updated last year
• QingruZhang / PASTA
  PASTA: Post-hoc Attention Steering for LLMs
  ☆123Updated 10 months ago
• lupantech / PromptPG
  Data and code for the ICLR 2023 paper "Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning".
  ☆158Updated last year
• da03 / implicit_chain_of_thought
  ☆136Updated 10 months ago
• sambanova / toolbench
  ToolBench, an evaluation suite for LLM tool manipulation capabilities.
  ☆162Updated last year
• google / sycophancy-intervention
  Scripts for generating synthetic finetuning data for reducing sycophancy.
  ☆116Updated 2 years ago
• FreedomIntelligence / ReasoningNLP
  paper list on reasoning in NLP
  ☆192Updated 5 months ago
• gmftbyGMFTBY / Copyisallyouneed
  [ICLR 2023] Codebase for Copy-Generator model, including an implementation of kNN-LM
  ☆188Updated 8 months ago
• haoliuhl / chain-of-hindsight
  Simple next-token-prediction for RLHF
  ☆226Updated 2 years ago
• evandez / REMEDI
  Inspecting and Editing Knowledge Representations in Language Models
  ☆116Updated 2 years ago
• hkust-nlp / llm-compression-intelligence
  Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]
  ☆141Updated last year
• orhonovich / instruction-induction
  ☆67Updated 3 years ago
• reasoning-machines / CoCoGen
  Language Models of Code are Few-Shot Commonsense Learners (EMNLP 2022)
  ☆85Updated 2 years ago
• zjunlp / FactCHD
  [IJCAI 2024] FactCHD: Benchmarking Fact-Conflicting Hallucination Detection
  ☆89Updated last year