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
  ☆41Updated last year
• kyegomez / Reka-Torch
  Implementation of the model: "Reka Core, Flash, and Edge: A Series of Powerful Multimodal Language Models" in PyTorch
  ☆28Updated last week
• zorazrw / odex
  [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation
  ☆49Updated 2 years ago
• allenai / easy-to-hard-generalization
  Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"
  ☆48Updated 2 years ago
• zhaoxlpku / SubgoalXL
  ☆25Updated last year
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆39Updated 2 years ago
• HazyResearch / aioli
  Aioli: A unified optimization framework for language model data mixing
  ☆32Updated last year
• nyu-mll / ILF-for-code-generation
  ☆80Updated 9 months ago
• facebookresearch / mbr-exec
  code for "Natural Language to Code Translation with Execution"
  ☆41Updated 3 years ago
• scottlogic-alex / prm800k-denorm
  Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format
  ☆27Updated 2 years ago
• r-three / RAD
  Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model
  ☆45Updated 3 months ago
• frankxu2004 / knnlm-why
  Repo for ICML23 "Why do Nearest Neighbor Language Models Work?"
  ☆59Updated 3 years ago
• allenai / Lila
  A unified benchmark for math reasoning
  ☆89Updated 2 years ago
• RUCAIBox / BAMBOO
  ☆35Updated last year
• Lagooon / LeanSTaR
  ☆42Updated last year
• martin-wey / CodeUltraFeedback
  CodeUltraFeedback: aligning large language models to coding preferences (TOSEM 2025)
  ☆73Updated last year
• ekinakyurek / gpt3-arithmetic
  Scratchpad/Chain-of-Thought Prompts
  ☆12Updated 3 years ago
• WHGTyen / BIG-Bench-Mistake
  A dataset of LLM-generated chain-of-thought steps annotated with mistake location.
  ☆85Updated last year
• kyegomez / LM-Infinite
  Implementation of "LM-Infinite: Simple On-the-Fly Length Generalization for Large Language Models"
  ☆40Updated last year
• casmlab / NPHardEval
  Repository for NPHardEval, a quantified-dynamic benchmark of LLMs
  ☆63Updated last year
• bigcode-project / astraios
  Astraios: Parameter-Efficient Instruction Tuning Code Language Models
  ☆63Updated last year
• TheDuckAI / arb
  Advanced Reasoning Benchmark Dataset for LLMs
  ☆47Updated 2 years ago
• NL2Code / CodeM
  ☆44Updated last year
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆47Updated 5 months ago
• recursal / GoldFinch-paper
  GoldFinch and other hybrid transformer components
  ☆45Updated last year
• EleutherAI / pile_dedupe
  Pile Deduplication Code
  ☆19Updated 2 years ago
• allenai / bff
  ☆38Updated last year
• crux-eval / eval-arena
  ☆32Updated this week
• epfl-dlab / GCD
  ☆47Updated 10 months ago
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆20Updated 11 months ago