wenhuchen / TheoremQALinks
The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset
☆159Updated last year
Alternatives and similar repositories for TheoremQA
Users that are interested in TheoremQA are comparing it to the libraries listed below
Sorting:
- ☆84Updated 7 months ago
- Self-Alignment with Principle-Following Reward Models☆163Updated 3 months ago
- Official code for "MAmmoTH2: Scaling Instructions from the Web" [NeurIPS 2024]☆146Updated 10 months ago
- ☆135Updated 9 months ago
- [ICLR 2024] Evaluating Large Language Models at Evaluating Instruction Following☆129Updated last year
- A unified benchmark for math reasoning☆88Updated 2 years ago
- Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".☆162Updated last year
- A dataset of LLM-generated chain-of-thought steps annotated with mistake location.☆81Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆147Updated 10 months ago
- ☆162Updated last year
- ☆149Updated last year
- Simple next-token-prediction for RLHF☆227Updated last year
- Implementation of the paper: "Answering Questions by Meta-Reasoning over Multiple Chains of Thought"☆96Updated last year
- ☆292Updated last year
- Official github repo for the paper "Compression Represents Intelligence Linearly" [COLM 2024]☆141Updated 11 months ago
- ☆172Updated 2 years ago
- This is the repo for the paper Shepherd -- A Critic for Language Model Generation☆219Updated 2 years ago
- Benchmarking LLMs with Challenging Tasks from Real Users☆237Updated 9 months ago
- [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"☆54Updated last year
- Code for the arXiv paper: "LLMs as Factual Reasoners: Insights from Existing Benchmarks and Beyond"☆59Updated 7 months ago
- Code for ACL2023 paper: Pre-Training to Learn in Context☆107Updated last year
- ☆140Updated last year
- Code for paper "LEVER: Learning to Verifiy Language-to-Code Generation with Execution" (ICML'23)☆90Updated 2 years ago
- Repo for the paper "Large Language Models Struggle to Learn Long-Tail Knowledge"☆77Updated 2 years ago
- Data and Code for Program of Thoughts [TMLR 2023]☆283Updated last year
- Data and code for the ICLR 2023 paper "Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning".☆156Updated last year
- PASTA: Post-hoc Attention Steering for LLMs☆122Updated 9 months ago
- Code and Data for "Long-context LLMs Struggle with Long In-context Learning" [TMLR2025]☆107Updated 6 months ago
- Language Models of Code are Few-Shot Commonsense Learners (EMNLP 2022)☆86Updated 2 years ago
- [EMNLP '23] Discriminator-Guided Chain-of-Thought Reasoning☆48Updated 10 months ago