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]
  ☆137Updated 5 months ago
• IBM / SALMON
  Self-Alignment with Principle-Following Reward Models
  ☆158Updated last year
• bhargaviparanjape / language-programmes
  ☆172Updated last year
• protagolabs / odyssey-math
  ☆83Updated 2 months ago
• veronica320 / Faithful-COT
  Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".
  ☆157Updated 11 months ago
• WHGTyen / BIG-Bench-Mistake
  A dataset of LLM-generated chain-of-thought steps annotated with mistake location.
  ☆80Updated 8 months ago
• da03 / implicit_chain_of_thought
  ☆126Updated 5 months ago
• gpt4life / alpagasus
  Unofficial implementation of AlpaGasus
  ☆90Updated last year
• keirp / OpenWebMath
  ☆148Updated 11 months ago
• haoliuhl / chain-of-hindsight
  Simple next-token-prediction for RLHF
  ☆224Updated last year
• google / sycophancy-intervention
  Scripts for generating synthetic finetuning data for reducing sycophancy.
  ☆109Updated last year
• oriyor / reasoning-on-cots
  Implementation of the paper: "Answering Questions by Meta-Reasoning over Multiple Chains of Thought"
  ☆94Updated last year
• tianjunz / HIR
  ☆159Updated 2 years ago
• ruiqi-zhong / D5
  The GitHub repo for Goal Driven Discovery of Distributional Differences via Language Descriptions
  ☆69Updated 2 years ago
• TIGER-AI-Lab / LongICLBench
  Code and Data for "Long-context LLMs Struggle with Long In-context Learning" [TMLR2025]
  ☆105Updated last month
• 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…
  ☆122Updated 10 months ago
• evandez / REMEDI
  Inspecting and Editing Knowledge Representations in Language Models
  ☆115Updated last year
• da03 / Internalize_CoT_Step_by_Step
  ☆164Updated last month
• QwenLM / ProcessBench
  ☆148Updated 3 months ago
• chaitanyamalaviya / ExpertQA
  [Data + code] ExpertQA : Expert-Curated Questions and Attributed Answers
  ☆126Updated last year
• facebookresearch / Shepherd
  This is the repo for the paper Shepherd -- A Critic for Language Model Generation
  ☆218Updated last year
• kaistAI / CoT-Collection
  [EMNLP 2023] The CoT Collection: Improving Zero-shot and Few-shot Learning of Language Models via Chain-of-Thought Fine-Tuning
  ☆237Updated last year
• neulab / gemini-benchmark
  ☆150Updated last year
• hkust-nlp / llm-compression-intelligence
  Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]
  ☆131Updated 6 months ago
• seonghyeonye / Flipped-Learning
  [ICLR 2023] Guess the Instruction! Flipped Learning Makes Language Models Stronger Zero-Shot Learners
  ☆114Updated 7 months ago
• google-research / arcade-nl2code
  ☆53Updated last year
• mandyyyyii / scibench
  ☆117Updated 9 months ago
• reasoning-machines / CoCoGen
  Language Models of Code are Few-Shot Commonsense Learners (EMNLP 2022)
  ☆86Updated 2 years ago
• lukasberglund / reversal_curse
  ☆287Updated last year
• niansong1996 / lever
  Code for paper "LEVER: Learning to Verifiy Language-to-Code Generation with Execution" (ICML'23)
  ☆85Updated last year