zhangir-azerbayev / proof-pileLinks
Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.
☆21Updated 2 years ago
Alternatives and similar repositories for proof-pile
Users that are interested in proof-pile are comparing it to the libraries listed below
Sorting:
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆28Updated 2 years ago
- Implementation of the model: "Reka Core, Flash, and Edge: A Series of Powerful Multimodal Language Models" in PyTorch☆28Updated last week
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆40Updated last year
- [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation☆49Updated last year
- Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"☆48Updated last year
- ☆80Updated 7 months ago
- Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model☆43Updated 3 weeks ago
- A dataset of LLM-generated chain-of-thought steps annotated with mistake location.☆82Updated last year
- Implementation of "LM-Infinite: Simple On-the-Fly Length Generalization for Large Language Models"☆39Updated 11 months ago
- ☆42Updated last year
- ☆44Updated last year
- ☆23Updated 4 months ago
- CodeUltraFeedback: aligning large language models to coding preferences (TOSEM 2025)☆71Updated last year
- Aioli: A unified optimization framework for language model data mixing☆28Updated 9 months ago
- Minimum Description Length probing for neural network representations☆20Updated 9 months ago
- ☆25Updated last year
- [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)☆21Updated 3 weeks ago
- Repository for NPHardEval, a quantified-dynamic benchmark of LLMs☆59Updated last year
- GoldFinch and other hybrid transformer components☆45Updated last year
- Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"☆27Updated last year
- Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044☆35Updated last year
- ☆39Updated last year
- ☆35Updated last year
- ☆24Updated 6 months ago
- ☆65Updated last year
- Source code of "Reasons to Reject? Aligning Language Models with Judgments"☆58Updated last year
- ☆24Updated 2 months ago
- code for "Natural Language to Code Translation with Execution"☆41Updated 2 years ago
- [NAACL 2024] Struc-Bench: Are Large Language Models Good at Generating Complex Structured Tabular Data? https://aclanthology.org/2024.naa…☆55Updated 2 months ago
- Astraios: Parameter-Efficient Instruction Tuning Code Language Models☆62Updated last year