esteng / regal_program_learningLinks
☆24Updated 9 months ago
Alternatives and similar repositories for regal_program_learning
Users that are interested in regal_program_learning are comparing it to the libraries listed below
Sorting:
- [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation☆48Updated last year
- ☆25Updated 10 months ago
- ☆41Updated last year
- ☆23Updated 2 months ago
- [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"☆54Updated last year
- ☆119Updated 11 months ago
- [ICLR 2025] "Training LMs on Synthetic Edit Sequences Improves Code Synthesis" (Piterbarg, Pinto, Fergus)☆19Updated 4 months ago
- Self-Supervised Alignment with Mutual Information☆19Updated last year
- ☆44Updated 10 months ago
- Dialogue Action Tokens: Steering Language Models in Goal-Directed Dialogue with a Multi-Turn Planner☆24Updated 11 months ago
- Evaluate the Quality of Critique☆35Updated last year
- CodeUltraFeedback: aligning large language models to coding preferences☆71Updated last year
- Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"☆48Updated last year
- Repository for Skill Set Optimization☆13Updated 11 months ago
- ☆27Updated 5 months ago
- ☆17Updated 3 months ago
- Discriminator-Guided Chain-of-Thought Reasoning☆48Updated 8 months ago
- Training and Benchmarking LLMs for Code Preference.☆33Updated 7 months ago
- ☆75Updated 3 months ago
- Repository for NPHardEval, a quantified-dynamic benchmark of LLMs☆54Updated last year
- Can Language Models Solve Olympiad Programming?☆117Updated 5 months ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆38Updated 2 years ago
- StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback☆65Updated 9 months ago
- Scratchpad/Chain-of-Thought Prompts☆12Updated 3 years ago
- Official implementation of AAAI 2025 paper "Augmenting Math Word Problems via Iterative Question Composing"(https://arxiv.org/abs/2401.09…☆20Updated 6 months ago
- ☆78Updated last month
- ☆26Updated this week
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆49Updated 11 months ago
- Codebase for Instruction Following without Instruction Tuning☆34Updated 9 months ago
- Code for paper "LEVER: Learning to Verifiy Language-to-Code Generation with Execution" (ICML'23)☆88Updated last year