Implementation and datasets for "Training Language Models to Generate Quality Code with Program Analysis Feedback"
☆43Jul 21, 2025Updated 8 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:
- 🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025☆36Aug 24, 2025Updated 6 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
- ☆21Jan 15, 2026Updated 2 months ago
- Official implementation for DenseMixer: Improving MoE Post-Training with Precise Router Gradient☆66Aug 3, 2025Updated 7 months ago
- ☆32Sep 11, 2025Updated 6 months ago
- ☆16Feb 22, 2025Updated last year
- The official repo for "AceCoder: Acing Coder RL via Automated Test-Case Synthesis" [ACL25]☆99Apr 9, 2025Updated 11 months ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Oct 16, 2020Updated 5 years ago
- A collection of publications that works on code models but beyond focusing on the accuracies.☆13Jun 30, 2023Updated 2 years ago
- CLaMR: Contextualized Late-Interaction for Multimodal Content Retrieval☆24Jun 28, 2025Updated 8 months ago
- A Vectorized Implementation of the Tersoff Potential for the LAMMPS Molecular Dynamics Software☆13Nov 14, 2017Updated 8 years ago
- Official Implementation of Knowledge Flow Prompting☆35Oct 20, 2025Updated 5 months ago
- CC: Causality-Aware Coverage Criterion for Deep Neural Networks☆12Feb 15, 2023Updated 3 years ago
- lime-ner: extending LIME for Named Entity Recognition☆10Aug 15, 2018Updated 7 years ago
- ☆10Apr 15, 2023Updated 2 years ago
- Mirror of Apache Ode Jacob☆12Mar 8, 2018Updated 8 years ago
- Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation☆19Jun 9, 2025Updated 9 months ago
- [ISSTA 2025] A Large-scale Empirical Study on Fine-tuning Large Language Models for Unit Testing☆13Feb 9, 2025Updated last year
- Apache Onami (retired)☆11Jan 25, 2019Updated 7 years ago
- Website for Systems Research Seminar at UIUC☆20Mar 17, 2026Updated last week
- ☆15Jul 20, 2025Updated 8 months ago
- ☆56Feb 14, 2026Updated last month
- Code for ICSE'24 Paper☆14Apr 21, 2024Updated last year
- 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 2 years ago
- Open-Channel SSD emulator using memory☆22Nov 1, 2017Updated 8 years ago
- ☆16Aug 26, 2023Updated 2 years ago
- Mirror of Apache ActiveMQ OpenWire☆18Dec 19, 2025Updated 3 months ago
- Code for the paper - Source Code Vulnerability Detection: Combining Code Language Models and Code Property Graph☆97Apr 21, 2024Updated last year
- 🥇 Amazon Nova AI Challenge Winner - ASTRA emerged victorious as the top attacking team in Amazon's global AI safety competition, defeati…☆70Aug 14, 2025Updated 7 months ago
- ☆10Jul 19, 2023Updated 2 years ago
- Analyzing and Reducing Catastrophic Forgetting in Parameter Efficient Tuning☆36Nov 17, 2024Updated last year
- Code of the paper "SPINE: Structural Identity Preserved Inductive Network Embedding"☆12Jul 29, 2019Updated 6 years ago
- ☆15Jan 17, 2024Updated 2 years ago
- Code for "Fine-Tuning by Curriculum Learning for Non-Autoregressive Neural Machine Translation"☆13Jul 10, 2020Updated 5 years ago
- [EMNLP 2024] RoTBench: A Multi-Level Benchmark for Evaluating the Robustness of Large Language Models in Tool Learning☆15May 13, 2025Updated 10 months ago
- Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers☆28Mar 1, 2025Updated last year
- Mutation-based Fault Localization of Deep Neural Networks☆10Jan 25, 2024Updated 2 years ago
- ☆18Jun 30, 2022Updated 3 years ago
- Contrast Subgraph Mining from Coherent Cores☆13Feb 20, 2018Updated 8 years ago