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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [preprint] sparsity☆23Jul 26, 2026Updated last month
- ☆28Jun 2, 2026Updated 3 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 3 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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 4 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 6 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- LLM Prompting for Text2SQL via Gradual SQL Reffnement☆15Feb 19, 2025Updated last year
- A complete testcase generator for online judges.☆12Nov 1, 2025Updated 10 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A prompt injection game to collect data for robust ML research☆78Jan 27, 2025Updated last year
- ☆10May 13, 2026Updated 4 months ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆41May 15, 2024Updated 2 years ago
- ssdb NodeJs client for☆11Jun 28, 2018Updated 8 years ago
- UCloud SDK for PHP☆10Updated this week
- A PHP 5.3+ wrapper to the NCBI/PubMed efetch API☆12Oct 14, 2020Updated 5 years ago
- 基于CodeBert预训练模型，微调后/直接对目标数据集进行测试☆14Oct 19, 2021Updated 4 years ago