IPRC-DIP / ANPL
☆21Updated last year
Alternatives and similar repositories for ANPL:
Users that are interested in ANPL are comparing it to the libraries listed below
- Moatless Testbeds allows you to create isolated testbed environments in a Kubernetes cluster where you can apply code changes through git…☆10Updated last month
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- ☆115Updated 8 months ago
- ☆23Updated 6 months ago
- ☆74Updated last year
- CRUXEval: Code Reasoning, Understanding, and Execution Evaluation☆133Updated 5 months ago
- ☆36Updated 6 months ago
- Q-Probe: A Lightweight Approach to Reward Maximization for Language Models☆41Updated 9 months ago
- Training and Benchmarking LLMs for Code Preference.☆33Updated 4 months ago
- [ICLR 2025] "Training LMs on Synthetic Edit Sequences Improves Code Synthesis" (Piterbarg, Pinto, Fergus)☆15Updated last month
- StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback☆64Updated 6 months ago
- LILO: Library Induction with Language Observations☆85Updated 6 months ago
- ☆21Updated 5 months ago
- Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"☆44Updated 2 months ago
- ☆22Updated 4 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆27Updated last year
- ☆36Updated 9 months ago
- Reasoning by Communicating with Agents☆25Updated 5 months ago
- This is the official repository for all the code of TheoremLlama☆39Updated 5 months ago
- ☆26Updated 6 months ago
- ☆59Updated 10 months ago
- ☆72Updated 2 months ago
- Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents☆122Updated 9 months ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆48Updated 8 months ago
- Code for the paper: CodeTree: Agent-guided Tree Search for Code Generation with Large Language Models☆17Updated 2 months ago
- Code repo for MathAgent☆15Updated last year
- [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation☆47Updated last year
- Cascade Speculative Drafting☆29Updated 11 months ago
- Official Repo for Paper "Optimizing Temperature for Language Models with Multi-Sample Inference"☆14Updated last month
- ☆32Updated 9 months ago