TIGER-AI-Lab / TheoremQA

Related projects ⓘ

Alternatives and complementary repositories for TheoremQA

• WHGTyen / BIG-Bench-Mistake
  A dataset of LLM-generated chain-of-thought steps annotated with mistake location.
  ☆73Updated 3 months ago
• OSU-NLP-Group / llm-planning-eval
  [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"
  ☆49Updated 8 months ago
• GAIR-NLP / MetaCritique
  Evaluate the Quality of Critique
  ☆35Updated 5 months ago
• TIGER-AI-Lab / MAmmoTH2
  Official code for "MAmmoTH2: Scaling Instructions from the Web" [NeurIPS 2024]
  ☆124Updated 3 weeks ago
• lifan-yuan / CRAFT
  Code for ICLR 2024 paper "CRAFT: Customizing LLMs by Creating and Retrieving from Specialized Toolsets"
  ☆48Updated 5 months ago
• sail-sg / CPO
  [NeurIPS 2024] The official implementation of paper: Chain of Preference Optimization: Improving Chain-of-Thought Reasoning in LLMs.
  ☆63Updated last month
• GAIR-NLP / OlympicArena
  This is the official repository of the paper "OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI"
  ☆86Updated last month
• Open-Source-O1 / o1_Reasoning_Patterns_Study
  ☆62Updated 3 weeks ago
• hkust-nlp / llm-compression-intelligence
  Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]
  ☆127Updated 2 months ago
• chujiezheng / LLM-Extrapolation
  Official repository for paper "Weak-to-Strong Extrapolation Expedites Alignment"
  ☆68Updated 5 months ago
• xlang-ai / BRIGHT
  BRIGHT: A Realistic and Challenging Benchmark for Reasoning-Intensive Retrieval
  ☆57Updated 3 weeks ago
• ChengpengLi1003 / DotaMath
  ☆25Updated last month
• MozerWang / Loong
  [EMNLP 2024 (Oral)] Leave No Document Behind: Benchmarking Long-Context LLMs with Extended Multi-Doc QA
  ☆93Updated last week
• shizhediao / R-Tuning
  [NAACL 2024 Outstanding Paper] Source code for the NAACL 2024 paper entitled "R-Tuning: Instructing Large Language Models to Say 'I Don't…
  ☆83Updated 4 months ago
• MARIO-Math-Reasoning / MARIO
  ☆25Updated 6 months ago
• mathllm / MathCoder2
  ☆50Updated last month
• alonj / Same-Task-More-Tokens
  The code for the paper: "Same Task, More Tokens: the Impact of Input Length on the Reasoning Performance of Large Language Models"
  ☆49Updated 4 months ago
• HKUNLP / STRING
  Data and code for our paper "Why Does the Effective Context Length of LLMs Fall Short?"
  ☆64Updated last week
• csitfun / LogiCoT
  the instructions and demonstrations for building a formal logical reasoning capable GLM
  ☆52Updated 2 months ago
• NingMiao / SelfCheck
  Code for the paper <SelfCheck: Using LLMs to Zero-Shot Check Their Own Step-by-Step Reasoning>
  ☆45Updated last year
• weizhepei / InstructRAG
  InstructRAG: Instructing Retrieval-Augmented Generation via Self-Synthesized Rationales
  ☆54Updated last week
• sail-sg / scaling-with-vocab
  [NeurIPS-2024] 📈 Scaling Laws with Vocabulary: Larger Models Deserve Larger Vocabularies https://arxiv.org/abs/2407.13623
  ☆69Updated last month
• GAIR-NLP / ReasonEval
  Evaluating Mathematical Reasoning Beyond Accuracy
  ☆37Updated 7 months ago
• ZitongYang / Synthetic_Continued_Pretraining
  Code implementation of synthetic continued pretraining
  ☆60Updated last month
• YuxiXie / SelfEval-Guided-Decoding
  ☆89Updated 11 months ago
• LuLuLuyi / LongHeads
  LongHeads: Multi-Head Attention is Secretly a Long Context Processor
  ☆28Updated 7 months ago
• xxxiaol / QRData
  Are LLMs Capable of Data-based Statistical and Causal Reasoning? Benchmarking Advanced Quantitative Reasoning with Data
  ☆30Updated 3 months ago
• starrYYxuan / LeCo
  This the implementation of LeCo
  ☆27Updated 4 months ago
• yifanzhang-pro / AutoMathText
  Official implementation of DPFM @ ICLR 2024 paper "Autonomous Data Selection with Language Models for Mathematical Texts" (As Huggingface…
  ☆79Updated 2 weeks ago
• lqtrung1998 / mwp_ReFT
  ☆101Updated 5 months ago