Alternatives and similar repositories for regal_program_learning

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

• shunzh / Code-AI-Tree-Search
  ☆119Updated last year
• zhaoxlpku / SubgoalXL
  ☆25Updated last year
• 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
• zorazrw / odex
  [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation
  ☆49Updated 2 years ago
• casmlab / NPHardEval
  Repository for NPHardEval, a quantified-dynamic benchmark of LLMs
  ☆63Updated last year
• Zayne-sprague / MuSR
  ☆56Updated last year
• martin-wey / CodeUltraFeedback
  CodeUltraFeedback: aligning large language models to coding preferences (TOSEM 2025)
  ☆73Updated last year
• rmshin / llm-mcts
  ☆41Updated last year
• hughbzhang / o1_inference_scaling_laws
  Replicating O1 inference-time scaling laws
  ☆92Updated last year
• Yu-Fangxu / FoR
  [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples
  ☆116Updated last week
• nyu-mll / ILF-for-code-generation
  ☆80Updated 10 months ago
• likenneth / dialogue_action_token
  Dialogue Action Tokens: Steering Language Models in Goal-Directed Dialogue with a Multi-Turn Planner
  ☆29Updated last year
• princeton-nlp / USACO
  Can Language Models Solve Olympiad Programming?
  ☆123Updated last year
• debjitpaul / refiner
  About The corresponding code from our paper " REFINER: Reasoning Feedback on Intermediate Representations" (EACL 2024). Do not hesitate t…
  ☆74Updated last week
• allenai / easy-to-hard-generalization
  Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"
  ☆48Updated 2 years ago
• Ablustrund / APPS_Plus
  StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback
  ☆74Updated last year
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆80Updated 2 years ago
• crux-eval / eval-arena
  ☆33Updated this week
• google-deepmind / bbeh
  ☆114Updated 9 months ago
• r-three / RAD
  Reference implementation for Reward-Augmented Decoding: Efficient Controlled Text Generation With a Unidirectional Reward Model
  ☆45Updated 4 months ago
• DAMO-NLP-SG / CaRing
  Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
  ☆41Updated last year
• hamishivi / EasyLM
  Large language models (LLMs) made easy, EasyLM is a one stop solution for pre-training, finetuning, evaluating and serving LLMs in JAX/Fl…
  ☆78Updated last year
• GAIR-NLP / MetaCritique
  Evaluate the Quality of Critique
  ☆36Updated last year
• SalesforceAIResearch / LaTRO
  ☆123Updated 11 months ago
• berlino / grammar-prompting
  Grammar Prompting for Domain-Specific Language Generation with Large Language Models
  ☆75Updated 2 years ago
• chenhongqiao / ToolDec
  Syntax Error-Free and Generalizable Tool Use for LLMs via Finite-State Decoding
  ☆28Updated 2 years ago
• GAIR-NLP / OlympicArena
  [NeurIPS 2024] OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI
  ☆107Updated 11 months ago
• allenai / sso
  Repository for Skill Set Optimization
  ☆14Updated last year
• sotopia-lab / sotopia-pi
  Sotopia-π: Interactive Learning of Socially Intelligent Language Agents (ACL 2024)
  ☆81Updated last year
• JacobPfau / fillerTokens
  ☆74Updated last year