Alternatives and similar repositories for regal_program_learning

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

• zorazrw / odex
  [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation
  ☆48Updated last year
• zhaoxlpku / SubgoalXL
  ☆25Updated 10 months ago
• rmshin / llm-mcts
  ☆41Updated last year
• OSU-NLP-Group / reversal-curse-binding
  ☆23Updated 2 months ago
• OSU-NLP-Group / llm-planning-eval
  [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"
  ☆54Updated last year
• shunzh / Code-AI-Tree-Search
  ☆119Updated 11 months ago
• upiterbarg / lintseq
  [ICLR 2025] "Training LMs on Synthetic Edit Sequences Improves Code Synthesis" (Piterbarg, Pinto, Fergus)
  ☆19Updated 4 months ago
• janphilippfranken / sami
  Self-Supervised Alignment with Mutual Information
  ☆19Updated last year
• Zayne-sprague / MuSR
  ☆44Updated 10 months ago
• likenneth / dialogue_action_token
  Dialogue Action Tokens: Steering Language Models in Goal-Directed Dialogue with a Multi-Turn Planner
  ☆24Updated 11 months ago
• GAIR-NLP / MetaCritique
  Evaluate the Quality of Critique
  ☆35Updated last year
• martin-wey / CodeUltraFeedback
  CodeUltraFeedback: aligning large language models to coding preferences
  ☆71Updated last year
• allenai / easy-to-hard-generalization
  Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"
  ☆48Updated last year
• allenai / sso
  Repository for Skill Set Optimization
  ☆13Updated 11 months ago
• SalesforceAIResearch / swecomm
  ☆27Updated 5 months ago
• Agent-E3 / ExACT
  ☆17Updated 3 months ago
• mukhal / GRACE
  Discriminator-Guided Chain-of-Thought Reasoning
  ☆48Updated 8 months ago
• amazon-science / llm-code-preference
  Training and Benchmarking LLMs for Code Preference.
  ☆33Updated 7 months ago
• nyu-mll / ILF-for-code-generation
  ☆75Updated 3 months ago
• casmlab / NPHardEval
  Repository for NPHardEval, a quantified-dynamic benchmark of LLMs
  ☆54Updated last year
• princeton-nlp / USACO
  Can Language Models Solve Olympiad Programming?
  ☆117Updated 5 months ago
• wellecks / naturalprover
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆38Updated 2 years ago
• Ablustrund / APPS_Plus
  StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback
  ☆65Updated 9 months ago
• ekinakyurek / gpt3-arithmetic
  Scratchpad/Chain-of-Thought Prompts
  ☆12Updated 3 years ago
• iiis-ai / IterativeQuestionComposing
  Official implementation of AAAI 2025 paper "Augmenting Math Word Problems via Iterative Question Composing"(https://arxiv.org/abs/2401.09…
  ☆20Updated 6 months ago
• google-deepmind / bbeh
  ☆78Updated last month
• crux-eval / eval-arena
  ☆26Updated this week
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆49Updated 11 months ago
• john-hewitt / implicit-ins
  Codebase for Instruction Following without Instruction Tuning
  ☆34Updated 9 months ago
• niansong1996 / lever
  Code for paper "LEVER: Learning to Verifiy Language-to-Code Generation with Execution" (ICML'23)
  ☆88Updated last year