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:
- Implementation of the model: "Reka Core, Flash, and Edge: A Series of Powerful Multimodal Language Models" in PyTorch☆30Updated 2 weeks ago
- Aioli: A unified optimization framework for language model data mixing☆27Updated 6 months ago
- Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"☆48Updated last year
- Official implementation of AAAI 2025 paper "Augmenting Math Word Problems via Iterative Question Composing"(https://arxiv.org/abs/2401.09…☆20Updated 7 months ago
- Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model☆44Updated last year
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆27Updated 2 years ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆38Updated last year
- Conic10K: A large-scale dataset for closed-vocabulary math problem understanding. Accepted to EMNLP2023 Findings.☆27Updated last year
- ☆41Updated 10 months ago
- Minimum Description Length probing for neural network representations☆18Updated 6 months ago
- ☆23Updated 4 months ago
- Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044☆35Updated 10 months ago
- Benchmarking Benchmark Leakage in Large Language Models☆55Updated last year
- Transformers at any scale☆41Updated last year
- Repo for ICML23 "Why do Nearest Neighbor Language Models Work?"☆58Updated 2 years ago
- Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"☆27Updated last year
- ☆35Updated last year
- Code for PHATGOOSE introduced in "Learning to Route Among Specialized Experts for Zero-Shot Generalization"☆86Updated last year
- ☆44Updated 8 months ago
- ☆25Updated 11 months ago
- Evaluation on Logical Reasoning and Abstract Reasoning Challenges☆28Updated 3 months ago
- Pile Deduplication Code☆19Updated 2 years ago
- A dataset of LLM-generated chain-of-thought steps annotated with mistake location.☆81Updated 11 months ago
- The repository contains code for Adaptive Data Optimization☆25Updated 7 months ago
- Codebase for Instruction Following without Instruction Tuning☆35Updated 10 months ago
- ☆39Updated last year
- ☆65Updated last year
- Official code repo for paper "Great Memory, Shallow Reasoning: Limits of kNN-LMs"☆23Updated 3 months ago
- ☆78Updated 4 months ago
- Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification☆11Updated last year