Alternatives and similar repositories for proof-pile

Users that are interested in proof-pile are comparing it to the libraries listed below

• DAMO-NLP-SG / CaRing
  Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
  ☆40Updated last year
• kyegomez / Reka-Torch
  Implementation of the model: "Reka Core, Flash, and Edge: A Series of Powerful Multimodal Language Models" in PyTorch
  ☆29Updated 2 weeks ago
• allenai / easy-to-hard-generalization
  Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"
  ☆48Updated last year
• scottlogic-alex / prm800k-denorm
  Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format
  ☆27Updated 2 years ago
• zorazrw / odex
  [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation
  ☆49Updated last year
• HazyResearch / aioli
  Aioli: A unified optimization framework for language model data mixing
  ☆31Updated 11 months ago
• GAIR-NLP / OlympicArena
  [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI
  ☆108Updated 9 months ago
• r-three / RAD
  Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model
  ☆45Updated 2 months ago
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆20Updated 10 months ago
• HazyResearch / embroid
  Embroid: Unsupervised Prediction Smoothing Can Improve Few-Shot Classification
  ☆11Updated 2 years ago
• frankxu2004 / knnlm-why
  Repo for ICML23 "Why do Nearest Neighbor Language Models Work?"
  ☆59Updated 2 years ago
• allenai / Lila
  A unified benchmark for math reasoning
  ☆89Updated 2 years ago
• crux-eval / eval-arena
  ☆29Updated last week
• OSU-NLP-Group / reversal-curse-binding
  ☆24Updated 8 months ago
• allenai / bff
  ☆38Updated last year
• casmlab / NPHardEval
  Repository for NPHardEval, a quantified-dynamic benchmark of LLMs
  ☆61Updated last year
• srush / LLM-Talk
  ☆53Updated last year
• Jiahao004 / DeepTheorem
  ☆24Updated 6 months ago
• WHGTyen / BIG-Bench-Mistake
  A dataset of LLM-generated chain-of-thought steps annotated with mistake location.
  ☆84Updated last year
• RUCAIBox / BAMBOO
  ☆35Updated last year
• GAIR-NLP / Entropy-ABF
  Official implementation for 'Extending LLMs’ Context Window with 100 Samples'
  ☆81Updated last year
• Zyphra / Zyda_processing
  ☆39Updated last year
• protagolabs / odyssey-math
  ☆85Updated 10 months ago
• TheDuckAI / arb
  Advanced Reasoning Benchmark Dataset for LLMs
  ☆47Updated 2 years ago
• kyegomez / LM-Infinite
  Implementation of "LM-Infinite: Simple On-the-Fly Length Generalization for Large Language Models"
  ☆40Updated last year
• HazyResearch / skill-it
  Skill-It! A Data-Driven Skills Framework for Understanding and Training Language Models
  ☆47Updated 2 years ago
• yifanzhang-pro / AutoMathText
  [ACL 2025 Findings] Autonomous Data Selection with Zero-shot Generative Classifiers for Mathematical Texts (As Huggingface Daily Papers: …
  ☆89Updated 3 weeks ago
• iiis-ai / IterativeQuestionComposing
  [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)
  ☆22Updated 2 months ago
• martin-wey / CodeUltraFeedback
  CodeUltraFeedback: aligning large language models to coding preferences (TOSEM 2025)
  ☆73Updated last year
• CarperAI / autocrit
  A repository for transformer critique learning and generation
  ☆89Updated 2 years ago