Alternatives and similar repositories for ANPL:

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

• 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
• Ablustrund / APPS_Plus
  StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback
  ☆62Updated 4 months ago
• Lagooon / LeanSTaR
  ☆30Updated 3 months ago
• crux-eval / eval-arena
  ☆22Updated 2 months ago
• harmonic-ai / datasets
  Harmonic Datasets
  ☆34Updated 6 months ago
• ekinakyurek / gpt3-arithmetic
  Scratchpad/Chain-of-Thought Prompts
  ☆12Updated 2 years ago
• RickySkywalker / TheoremLlama
  This is the official repository for all the code of TheoremLlama
  ☆34Updated 3 months ago
• gonglinyuan / ast_t5
  ☆58Updated 8 months ago
• likenneth / q_probe
  Q-Probe: A Lightweight Approach to Reward Maximization for Language Models
  ☆40Updated 7 months ago
• albertqjiang / MMA
  The official repository for the paper Multilingual Mathematical Autoformalization
  ☆33Updated 7 months ago
• cmu-l3 / neurips2024-inference-tutorial-code
  NeurIPS 2024 tutorial on LLM Inference
  ☆37Updated last month
• esteng / regal_program_learning
  ☆22Updated 4 months ago
• nyu-mll / ILF-for-code-generation
  ☆75Updated last year
• YerbaPage / MGDebugger
  From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
  ☆65Updated 3 months ago
• agiresearch / Formal-LLM
  Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
  ☆114Updated 7 months ago
• zorazrw / odex
  [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation
  ☆45Updated last year
• nuprl / CanItEdit
  Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions
  ☆41Updated 5 months ago
• katsumiok / pyaskit
  AskIt: Unified programming interface for programming with LLMs (GPT-3.5, GPT-4, Gemini, Claude, Cohere, Llama 2)
  ☆75Updated last week
• oashua / MathAgent
  Code repo for MathAgent
  ☆13Updated last year
• wdlctc / mini-s
  ☆43Updated 2 months ago
• qishenghu / InstructCoder
  InstructCoder: Instruction Tuning Large Language Models for Code Editing | Oral ACL-2024 srw
  ☆54Updated 3 months ago
• aorwall / moatless-tree-search
  ☆52Updated this week
• wellecks / llemma_formal2formal
  Llemma formal2formal (tactic prediction) theorem proving experiments
  ☆19Updated last year
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆81Updated 4 months ago
• evalplus / repoqa
  RepoQA: Evaluating Long-Context Code Understanding
  ☆104Updated 2 months ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆27Updated 10 months ago
• NL2Code / CodeM
  ☆44Updated 7 months ago
• ctlllll / understanding_llm_benchmarks
  Understanding the correlation between different LLM benchmarks
  ☆29Updated last year
• JHU-CLSP / RATIONALYST
  Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044
  ☆30Updated 3 months ago
• martin-wey / CodeUltraFeedback
  CodeUltraFeedback: aligning large language models to coding preferences
  ☆66Updated 6 months ago