Alternatives and similar repositories for proof-pile

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

• scottlogic-alex / prm800k-denorm
  Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format
  ☆28Updated 2 years ago
• kyegomez / Reka-Torch
  Implementation of the model: "Reka Core, Flash, and Edge: A Series of Powerful Multimodal Language Models" in PyTorch
  ☆28Updated last week
• DAMO-NLP-SG / CaRing
  Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
  ☆40Updated last year
• zorazrw / odex
  [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation
  ☆49Updated last year
• allenai / easy-to-hard-generalization
  Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"
  ☆48Updated last year
• nyu-mll / ILF-for-code-generation
  ☆80Updated 7 months ago
• r-three / RAD
  Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model
  ☆43Updated 3 weeks ago
• WHGTyen / BIG-Bench-Mistake
  A dataset of LLM-generated chain-of-thought steps annotated with mistake location.
  ☆82Updated last year
• kyegomez / LM-Infinite
  Implementation of "LM-Infinite: Simple On-the-Fly Length Generalization for Large Language Models"
  ☆39Updated 11 months ago
• Lagooon / LeanSTaR
  ☆42Updated last year
• NL2Code / CodeM
  ☆44Updated last year
• Jiahao004 / DeepTheorem
  ☆23Updated 4 months ago
• martin-wey / CodeUltraFeedback
  CodeUltraFeedback: aligning large language models to coding preferences (TOSEM 2025)
  ☆71Updated last year
• HazyResearch / aioli
  Aioli: A unified optimization framework for language model data mixing
  ☆28Updated 9 months ago
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆20Updated 9 months ago
• zhaoxlpku / SubgoalXL
  ☆25Updated last year
• iiis-ai / IterativeQuestionComposing
  [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)
  ☆21Updated 3 weeks ago
• casmlab / NPHardEval
  Repository for NPHardEval, a quantified-dynamic benchmark of LLMs
  ☆59Updated last year
• recursal / GoldFinch-paper
  GoldFinch and other hybrid transformer components
  ☆45Updated last year
• dangxingyu / rnn-icrag
  Official repository of paper "RNNs Are Not Transformers (Yet): The Key Bottleneck on In-context Retrieval"
  ☆27Updated last year
• JHU-CLSP / RATIONALYST
  Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044
  ☆35Updated last year
• Zyphra / Zyda_processing
  ☆39Updated last year
• RUCAIBox / BAMBOO
  ☆35Updated last year
• OSU-NLP-Group / reversal-curse-binding
  ☆24Updated 6 months ago
• locuslab / scaling_laws_data_filtering
  ☆65Updated last year
• wwxu21 / CUT
  Source code of "Reasons to Reject? Aligning Language Models with Judgments"
  ☆58Updated last year
• da03 / WildVisualizer
  ☆24Updated 2 months ago
• facebookresearch / mbr-exec
  code for "Natural Language to Code Translation with Execution"
  ☆41Updated 2 years ago
• gersteinlab / Struc-Bench
  [NAACL 2024] Struc-Bench: Are Large Language Models Good at Generating Complex Structured Tabular Data? https://aclanthology.org/2024.naa…
  ☆55Updated 2 months ago
• bigcode-project / astraios
  Astraios: Parameter-Efficient Instruction Tuning Code Language Models
  ☆62Updated last year