Alternatives and similar repositories for regal_program_learning

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

• Zayne-sprague / MuSR
  ☆45Updated 11 months ago
• zorazrw / odex
  [EMNLP'23] Execution-Based Evaluation for Open Domain Code Generation
  ☆48Updated last year
• shunzh / Code-AI-Tree-Search
  ☆119Updated last year
• rmshin / llm-mcts
  ☆41Updated last year
• martin-wey / CodeUltraFeedback
  CodeUltraFeedback: aligning large language models to coding preferences
  ☆71Updated 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
• zhaoxlpku / SubgoalXL
  ☆25Updated 10 months ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆71Updated last year
• mukhal / GRACE
  [EMNLP '23] Discriminator-Guided Chain-of-Thought Reasoning
  ☆48Updated 9 months ago
• casmlab / NPHardEval
  Repository for NPHardEval, a quantified-dynamic benchmark of LLMs
  ☆56Updated last year
• princeton-nlp / USACO
  Can Language Models Solve Olympiad Programming?
  ☆119Updated 6 months ago
• nyu-mll / ILF-for-code-generation
  ☆78Updated 3 months ago
• MLE-Dojo / MLE-Dojo
  ☆55Updated 2 weeks ago
• niansong1996 / lever
  Code for paper "LEVER: Learning to Verifiy Language-to-Code Generation with Execution" (ICML'23)
  ☆89Updated 2 years ago
• crux-eval / eval-arena
  ☆28Updated this week
• hkust-nlp / B-STaR
  B-STAR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners
  ☆82Updated last month
• ars22 / scaling-LLM-math-synthetic-data
  Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"
  ☆30Updated last year
• Ablustrund / APPS_Plus
  StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback
  ☆67Updated 10 months ago
• Yu-Fangxu / FoR
  [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples
  ☆101Updated last month
• hughbzhang / o1_inference_scaling_laws
  Replicating O1 inference-time scaling laws
  ☆89Updated 7 months ago
• SalesforceAIResearch / swecomm
  ☆27Updated 6 months ago
• allenai / easy-to-hard-generalization
  Code for the arXiv preprint "The Unreasonable Effectiveness of Easy Training Data"
  ☆48Updated last year
• google-deepmind / bbeh
  ☆83Updated 2 months ago
• chenhongqiao / ToolDec
  Syntax Error-Free and Generalizable Tool Use for LLMs via Finite-State Decoding
  ☆27Updated 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…
  ☆75Updated 10 months ago
• qishenghu / InstructCoder
  InstructCoder: Instruction Tuning Large Language Models for Code Editing | Oral ACL-2024 srw
  ☆61Updated 9 months 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 7 months ago
• JacobPfau / fillerTokens
  ☆66Updated last year
• GAIR-NLP / MetaCritique
  Evaluate the Quality of Critique
  ☆36Updated last year
• kaistAI / Janus
  [NeurIPS 2024] Train LLMs with diverse system messages reflecting individualized preferences to generalize to unseen system messages
  ☆48Updated 7 months ago