uiuc-focal-lab / LLMCert-BLinks
A certifier for bias in LLMs
☆23Updated 2 months ago
Alternatives and similar repositories for LLMCert-B
Users that are interested in LLMCert-B are comparing it to the libraries listed below
Sorting:
- XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts☆33Updated 11 months ago
- For our ACL25 Paper: Can Language Models Replace Programmers? RepoCod Says ‘Not Yet’ - by Shanchao Liang and Yiran Hu and Nan Jiang and L…☆19Updated this week
- The repository for paper "DebugBench: "Evaluating Debugging Capability of Large Language Models".☆78Updated 11 months ago
- ☆43Updated 11 months ago
- DafnyBench: A Benchmark for Formal Software Verification☆36Updated 6 months ago
- Official repo for "ProSec: Fortifying Code LLMs with Proactive Security Alignment"☆14Updated 3 months ago
- Making code edting up to 7.7x faster using multi-layer speculation☆21Updated 4 months ago
- CRUXEval: Code Reasoning, Understanding, and Execution Evaluation☆145Updated 8 months ago
- [NeurIPS'24] RedCode: Risky Code Execution and Generation Benchmark for Code Agents☆39Updated last month
- [NeurIPS'24] SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning☆23Updated 7 months ago
- ☆15Updated 7 months ago
- Repo for the research paper "SecAlign: Defending Against Prompt Injection with Preference Optimization"☆51Updated 2 months ago
- CodeGuard+: Constrained Decoding for Secure Code Generation☆11Updated 10 months ago
- [LREC-COLING'24] HumanEval-XL: A Multilingual Code Generation Benchmark for Cross-lingual Natural Language Generalization☆38Updated 3 months ago
- [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?☆14Updated last year
- Simultaneous evaluation on both functionality and security of LLM-generated code.☆20Updated 5 months ago
- Repo-Level Code generation papers☆188Updated 2 months ago
- ☆16Updated last year
- Releasing code for "ReCode: Robustness Evaluation of Code Generation Models"☆53Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆49Updated 11 months ago
- Efficient and general syntactical decoding for Large Language Models☆278Updated 2 weeks ago
- ☆31Updated this week
- Reinforcement Learning for Repository-Level Code Completion☆33Updated 10 months ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆88Updated 2 months ago
- ☆116Updated 11 months ago
- [ICLR 2021] "Generating Adversarial Computer Programs using Optimized Obfuscations" by Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shi…☆30Updated 3 years ago
- [NeurIPS 2024] Evaluation harness for SWT-Bench, a benchmark for evaluating LLM repository-level test-generation☆50Updated 3 weeks ago
- [ICLR 2025] Official Repository for "Tamper-Resistant Safeguards for Open-Weight LLMs"☆59Updated 2 weeks ago
- Official Implementation of RISE (Reinforcing Reasoning with Self-Verification)☆27Updated last week
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆49Updated 2 months ago