Alternatives and similar repositories for ANPL

Users that are interested in ANPL are comparing it to the libraries listed below

• aorwall / moatless-testbeds
  Moatless Testbeds allows you to create isolated testbed environments in a Kubernetes cluster where you can apply code changes through git…
  ☆13Updated 2 months ago
• Lagooon / LeanSTaR
  ☆42Updated 9 months ago
• you68681 / GPAR
  ☆23Updated last year
• VITA-Group / ChainCoder
  [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …
  ☆40Updated last year
• tanchongmin / ARC-Challenge
  ☆27Updated 9 months ago
• esteng / regal_program_learning
  ☆24Updated 9 months ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆42Updated 8 months ago
• albertqjiang / MMA
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆36Updated last year
• likenneth / q_probe
  Q-Probe: A Lightweight Approach to Reward Maximization for Language Models
  ☆41Updated last year
• SalesforceAIResearch / CodeChain
  Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"
  ☆45Updated 5 months ago
• scottlogic-alex / prm800k-denorm
  Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format
  ☆27Updated last year
• gonglinyuan / ast_t5
  ☆64Updated last year
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆87Updated 9 months ago
• EleutherAI / mdl
  Minimum Description Length probing for neural network representations
  ☆18Updated 4 months ago
• Ryu1845 / hyena-jax
  Implementation of Hyena Hierarchy in JAX
  ☆10Updated 2 years ago
• RobertCsordas / moe
  Official repository for the paper "Approximating Two-Layer Feedforward Networks for Efficient Transformers"
  ☆38Updated 2 weeks ago
• DAMO-NLP-SG / CaRing
  Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
  ☆36Updated last year
• upiterbarg / lintseq
  [ICLR 2025] "Training LMs on Synthetic Edit Sequences Improves Code Synthesis" (Piterbarg, Pinto, Fergus)
  ☆19Updated 4 months ago
• tyler-romero / microR1
  Simple repository for training small reasoning models
  ☆33Updated 4 months ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆40Updated 11 months ago
• crux-eval / eval-arena
  ☆26Updated this week
• evanatyourservice / llm-jax
  Train a SmolLM-style llm on fineweb-edu in JAX/Flax with an assortment of optimizers.
  ☆17Updated 3 months ago
• nyu-mll / ILF-for-code-generation
  ☆75Updated 3 months ago
• arcee-ai / DAM
  ☆51Updated 7 months ago
• OSU-NLP-Group / reversal-curse-binding
  ☆23Updated 2 months ago
• yikangshen / megablocks
  ☆20Updated last year
• collinskatie / checkmate
  ☆45Updated 9 months ago
• IBM / abductive-rule-learner-with-context-awareness
  ARLC, a probabilistic abductive reasoner for solving Raven's progressive matrices.
  ☆18Updated last month
• mayank31398 / ladder-residual-inference
  ☆14Updated last month
• samuelarnesen / nyu-debate-modeling
  ☆22Updated 8 months ago