The Infibench variant of bigcode-evaluation-harness --- a framework for the evaluation of autoregressive code generation language models.
☆14Oct 19, 2024Updated last year
Alternatives and similar repositories for infibench-evaluation-harness
Users that are interested in infibench-evaluation-harness are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The evaluation framework for the InfiCoder-Eval benchmark.☆21Jul 22, 2024Updated 2 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- The Charon tool for analyzing neural network robustness☆13Mar 19, 2020Updated 6 years ago
- ☆11Oct 18, 2022Updated 3 years 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.
- [NeurIPS'26] In this work, we investigate how Large Language Models (LLMs) adapt their internal representations when encountering inputs …☆29Sep 24, 2026Updated 2 weeks ago
- ☆28Jun 2, 2026Updated 4 months ago
- Simple Debugger to run Windbg Commands and also query .NET CLR Runtime data in C#☆26Jun 2, 2022Updated 4 years ago
- The official repo for GCP-CROWN paper☆13Sep 26, 2022Updated 4 years ago
- ☆19Jul 15, 2023Updated 3 years ago
- calibrate camera with openCvSharp4☆11Jun 11, 2021Updated 5 years ago
- ☆22Apr 15, 2022Updated 4 years ago
- Certifying Geometric Robustness of Neural Networks☆16Mar 24, 2023Updated 3 years ago
- A simple OS X app to remind the user to take breaks during work.☆20Mar 11, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…☆15Oct 16, 2022Updated 3 years ago
- Helper functions for React Context API inspired by @reduxjs/toolkit☆11Nov 25, 2022Updated 3 years ago
- GAN based 3D Object Reconstruction in Point Cloud // 基于点云生成对抗网络的三维重建研究☆19Jun 25, 2018Updated 8 years ago
- 🧩Using backtracking algorithm to solve binary puzzles☆11Jul 17, 2021Updated 5 years ago
- Is Neuron Coverage a Meaningful Measure for Testing Deep Neural Networks? (FSE 2020)☆10Sep 23, 2021Updated 5 years ago
- Code for ICML2020 "Sequence Generation with Mixed Representations"☆12Jun 27, 2020Updated 6 years ago
- Local test cases for SysY compilers, used by compiler-dev.☆26Mar 6, 2026Updated 7 months ago
- Convert pretrained RoBerta models to various long-document transformer models☆11Apr 5, 2022Updated 4 years ago
- Keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular da…☆20Jun 12, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- LLM Prompting for Text2SQL via Gradual SQL Reffnement☆15Feb 19, 2025Updated last year
- A complete testcase generator for online judges.☆12Nov 1, 2025Updated 11 months ago
- A collection of publications that works on code models but beyond focusing on the accuracies.☆12Jun 30, 2023Updated 3 years ago
- ☆10Jan 4, 2023Updated 3 years ago
- 用 TypeScript 实现的基础数据结构☆10Jul 25, 2021Updated 5 years ago
- An implementation of the paper "Leveraging ParsBERT for cross-domain polarity sentiment classification of Persian social media comments" …☆10Jul 8, 2022Updated 4 years ago
- ☆33Jun 12, 2023Updated 3 years ago
- MCP as a Judge is a behavioral MCP that strengthens AI coding assistants by requiring explicit LLM evaluations☆17Dec 15, 2025Updated 9 months ago
- A video frame image provider for hooking up to iterators and ranges and ControlNets and such for invokeAI node experimentation. Think ani…☆11Oct 17, 2025Updated 11 months ago
- 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.
- A prompt injection game to collect data for robust ML research☆78Jan 27, 2025Updated last year
- UCloud SDK for PHP☆10Updated this week
- Test Repository for Course "Scientific Writing and Bibliographic Research" @ Uni Mannheim☆11Oct 2, 2026Updated last week
- ☆10May 13, 2026Updated 5 months ago
- ssdb NodeJs client for☆11Jun 28, 2018Updated 8 years ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆41May 15, 2024Updated 2 years ago
- A PHP 5.3+ wrapper to the NCBI/PubMed efetch API☆12Oct 14, 2020Updated 5 years ago