Alternatives and similar repositories for TheoremQA

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

• TIGER-AI-Lab / MAmmoTH2
  Official code for "MAmmoTH2: Scaling Instructions from the Web" [NeurIPS 2024]
  ☆149Updated last year
• protagolabs / odyssey-math
  ☆85Updated 11 months ago
• princeton-nlp / LLMBar
  [ICLR 2024] Evaluating Large Language Models at Evaluating Instruction Following
  ☆134Updated last year
• allenai / Lila
  A unified benchmark for math reasoning
  ☆89Updated 2 years ago
• IBM / SALMON
  Self-Alignment with Principle-Following Reward Models
  ☆169Updated 3 months ago
• keirp / OpenWebMath
  ☆166Updated last year
• i-Eval / FairEval
  ☆143Updated 2 years ago
• veronica320 / Faithful-COT
  Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".
  ☆165Updated last year
• bhargaviparanjape / language-programmes
  ☆173Updated 2 years ago
• thu-coai / PICL
  Code for ACL2023 paper: Pre-Training to Learn in Context
  ☆106Updated last year
• oriyor / reasoning-on-cots
  Implementation of the paper: "Answering Questions by Meta-Reasoning over Multiple Chains of Thought"
  ☆96Updated last year
• facebookresearch / Shepherd
  This is the repo for the paper Shepherd -- A Critic for Language Model Generation
  ☆220Updated 2 years ago
• xingyaoww / mint-bench
  Official Repo for ICLR 2024 paper MINT: Evaluating LLMs in Multi-turn Interaction with Tools and Language Feedback by Xingyao Wang*, Ziha…
  ☆133Updated last year
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆154Updated 3 months ago
• WHGTyen / BIG-Bench-Mistake
  A dataset of LLM-generated chain-of-thought steps annotated with mistake location.
  ☆84Updated last year
• TIGER-AI-Lab / TheoremQA
  The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)
  ☆37Updated last year
• lukasberglund / reversal_curse
  ☆301Updated 2 years ago
• lupantech / PromptPG
  Data and code for the ICLR 2023 paper "Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning".
  ☆163Updated last year
• hkust-nlp / llm-compression-intelligence
  Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]
  ☆144Updated last year
• QingruZhang / PASTA
  PASTA: Post-hoc Attention Steering for LLMs
  ☆132Updated last year
• gmftbyGMFTBY / Copyisallyouneed
  [ICLR 2023] Codebase for Copy-Generator model, including an implementation of kNN-LM
  ☆190Updated 10 months ago
• da03 / implicit_chain_of_thought
  ☆139Updated last year
• TIGER-AI-Lab / Program-of-Thoughts
  Data and Code for Program of Thoughts [TMLR 2023]
  ☆300Updated last year
• allenai / WildBench
  Benchmarking LLMs with Challenging Tasks from Real Users
  ☆246Updated last year
• Ber666 / ToolkenGPT
  ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings - NeurIPS 2023 (oral)
  ☆266Updated last year
• zorazrw / awesome-tool-llm
  ☆242Updated last year
• niansong1996 / lever
  Code for paper "LEVER: Learning to Verifiy Language-to-Code Generation with Execution" (ICML'23)
  ☆90Updated 2 years ago
• allenai / FineGrainedRLHF
  ☆281Updated 11 months ago
• salesforce / factualNLG
  Code for the arXiv paper: "LLMs as Factual Reasoners: Insights from Existing Benchmarks and Beyond"
  ☆61Updated 10 months ago
• allenai / DecomP
  Repository for Decomposed Prompting
  ☆95Updated 2 years ago