Alternatives and similar repositories for TheoremQA:

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

• protagolabs / odyssey-math
  ☆82Updated 3 weeks ago
• da03 / implicit_chain_of_thought
  ☆116Updated 3 months ago
• veronica320 / Faithful-COT
  Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".
  ☆157Updated 9 months ago
• WHGTyen / BIG-Bench-Mistake
  A dataset of LLM-generated chain-of-thought steps annotated with mistake location.
  ☆77Updated 6 months ago
• hkust-nlp / llm-compression-intelligence
  Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]
  ☆130Updated 5 months ago
• IBM / SALMON
  Self-Alignment with Principle-Following Reward Models
  ☆154Updated 11 months ago
• haoliuhl / chain-of-hindsight
  Simple next-token-prediction for RLHF
  ☆222Updated last year
• bhargaviparanjape / language-programmes
  ☆172Updated last year
• oriyor / reasoning-on-cots
  Implementation of the paper: "Answering Questions by Meta-Reasoning over Multiple Chains of Thought"
  ☆94Updated last year
• google-deepmind / loft
  LOFT: A 1 Million+ Token Long-Context Benchmark
  ☆172Updated 3 months ago
• TIGER-AI-Lab / MAmmoTH2
  Official code for "MAmmoTH2: Scaling Instructions from the Web" [NeurIPS 2024]
  ☆135Updated 3 months ago
• TIGER-AI-Lab / TheoremQA
  The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)
  ☆27Updated 9 months ago
• da03 / Internalize_CoT_Step_by_Step
  ☆149Updated 2 weeks ago
• seonghyeonye / Flipped-Learning
  [ICLR 2023] Guess the Instruction! Flipped Learning Makes Language Models Stronger Zero-Shot Learners
  ☆113Updated 5 months ago
• allenai / Lila
  A unified benchmark for math reasoning
  ☆87Updated 2 years ago
• neulab / gemini-benchmark
  ☆150Updated last year
• facebookresearch / Shepherd
  This is the repo for the paper Shepherd -- A Critic for Language Model Generation
  ☆218Updated last year
• mandyyyyii / scibench
  ☆111Updated 7 months ago
• lupantech / PromptPG
  Data and code for the ICLR 2023 paper "Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning".
  ☆149Updated last year
• gpt4life / alpagasus
  Unofficial implementation of AlpaGasus
  ☆90Updated last year
• shunzh / Code-AI-Tree-Search
  ☆114Updated 7 months ago
• google / sycophancy-intervention
  Scripts for generating synthetic finetuning data for reducing sycophancy.
  ☆108Updated last year
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆135Updated 4 months ago
• raunak-agarwal / instruction-datasets
  All available datasets for Instruction Tuning of Large Language Models
  ☆242Updated last year
• lukasberglund / reversal_curse
  ☆282Updated last year
• thu-coai / PICL
  Code for ACL2023 paper: Pre-Training to Learn in Context
  ☆108Updated 6 months ago
• princeton-nlp / intercode
  [NeurIPS 2023 D&B] Code repository for InterCode benchmark https://arxiv.org/abs/2306.14898
  ☆208Updated 9 months ago
• QwenLM / ProcessBench
  ☆130Updated 2 months ago
• TIGER-AI-Lab / LongICLBench
  Code and Data for "Long-context LLMs Struggle with Long In-context Learning"
  ☆100Updated 7 months ago
• huggingface / datablations
  Scaling Data-Constrained Language Models
  ☆333Updated 5 months ago