Implementation and datasets for "Training Language Models to Generate Quality Code with Program Analysis Feedback"
☆41Jul 21, 2025Updated 10 months ago
Alternatives and similar repositories for ReaL
Users that are interested in ReaL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10May 14, 2024Updated 2 years ago
- 🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025☆38Aug 24, 2025Updated 9 months ago
- This repo illustrates how to evaluate the artifacts in the paper An Extensive Study on Pre-trained Models for Program Understanding and G…☆27Aug 12, 2022Updated 3 years ago
- Official implementation for DenseMixer: Improving MoE Post-Training with Precise Router Gradient☆67Aug 3, 2025Updated 10 months ago
- ☆37Jan 15, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Progent: Securing AI Agents with Privilege Control☆36May 14, 2026Updated 3 weeks ago
- ☆17Feb 22, 2025Updated last year
- QAlign is a new test-time alignment approach that improves language model performance by using Markov chain Monte Carlo methods.☆26Mar 2, 2026Updated 3 months ago
- The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]☆101Apr 9, 2025Updated last year
- ☆38Nov 13, 2025Updated 6 months ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆18Oct 16, 2020Updated 5 years ago
- ☆18Oct 8, 2024Updated last year
- ☆25Nov 23, 2021Updated 4 years ago
- A fuzzer for the CAN bus☆18Mar 1, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The official code and dataset for EMNLP 2022 paper "COPEN: Probing Conceptual Knowledge in Pre-trained Language Models".☆21Mar 9, 2023Updated 3 years ago
- A Vectorized Implementation of the Tersoff Potential for the LAMMPS Molecular Dynamics Software☆13Nov 14, 2017Updated 8 years ago
- lime-ner: extending LIME for Named Entity Recognition☆10Aug 15, 2018Updated 7 years ago
- [NeurIPS 2023] Differentially Private Image Classification by Learning Priors from Random Processes☆12Jun 12, 2023Updated 3 years ago
- ☆14Aug 18, 2025Updated 9 months ago
- ☆10Apr 15, 2023Updated 3 years ago
- Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation☆19Jun 9, 2025Updated last year
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- Official implementation for Text Generation Beyond Discrete Token Sampling☆25Aug 11, 2025Updated 10 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Website for Systems Research Seminar at UIUC☆21May 7, 2026Updated last month
- Apache Geronimo Microprofile OpenAPI Implementation☆13May 18, 2026Updated 3 weeks ago
- ☆16Jul 20, 2025Updated 10 months ago
- ☆13Nov 8, 2022Updated 3 years ago
- This is the tool released in ICSE 2024 paper "Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Er…☆17Jun 5, 2023Updated 3 years ago
- ☆16Nov 24, 2023Updated 2 years ago
- ☆13Feb 29, 2024Updated 2 years ago
- Mirror of Apache ActiveMQ OpenWire☆18May 15, 2026Updated 3 weeks ago
- ☆16Aug 26, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆28Jun 2, 2026Updated last week
- Analyzing and Reducing Catastrophic Forgetting in Parameter Efficient Tuning☆37Nov 17, 2024Updated last year
- An adaptive training algorithm for residual network☆17Aug 22, 2020Updated 5 years ago
- The official repo for the paper Can ChatGPT replace StackOverflow? A Study on Robustness and Reliability of Large Language Model Code Gen…☆20Feb 27, 2024Updated 2 years ago
- [EMNLP 2024] RoTBench: A Multi-Level Benchmark for Evaluating the Robustness of Large Language Models in Tool Learning☆15May 13, 2025Updated last year
- Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers☆29Mar 1, 2025Updated last year
- 🥇 Amazon Nova AI Challenge Winner - ASTRA emerged victorious as the top attacking team in Amazon's global AI safety competition, defeati…☆72May 11, 2026Updated last month