ProbFuzz: A Framework for Testing Probabilistic Programming Systems
☆10Oct 22, 2018Updated 8 years ago
Alternatives and similar repositories for probfuzz
Users that are interested in probfuzz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- FANC is a tool for the proof transfer of incomplete verification☆13Aug 20, 2026Updated 2 months ago
- Reproducing BugsInPy: Benchmarking Bugs in Python Projects☆13Sep 4, 2023Updated 3 years ago
- This is the implementation repository of our incoming ESEC/FSE 2021 paper: Exposing Numerical Bugs in Deep Learning via GradientBack-prop…☆15Oct 16, 2022Updated 4 years ago
- Iterate on LLM-based structured generation forward and backward☆24Mar 20, 2025Updated last year
- ☆13Sep 25, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Agentic Framework for Synthesizing CodeQL Queries☆28Aug 28, 2026Updated last month
- Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)☆81Nov 2, 2022Updated 3 years ago
- ☆24Updated this week
- The code of our paper "Misbehaviour Prediction for Autonomous Driving Systems", including our improved Udacity simulator☆21Jun 30, 2021Updated 5 years ago
- Models That Prove Their Own Correctness☆11Dec 11, 2024Updated last year
- ☆14Jul 12, 2016Updated 10 years ago
- ☆12Feb 2, 2016Updated 10 years ago
- SIGPLAN website☆13Updated this week
- A LaTeX/TikZ rendering template for plotting some "quantified self" data against a UTC x-axis.☆15Jan 6, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 9 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆72Mar 9, 2023Updated 3 years ago
- Test Selection of Deep Learning☆10Jul 28, 2020Updated 6 years ago
- ☆11Aug 26, 2017Updated 9 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- ☆12Oct 22, 2021Updated 5 years ago
- [ICSE 2023] Differentiable interpretation and failure-inducing input generation for neural network numerical bugs.☆13Jan 5, 2024Updated 2 years ago
- Convert various benchmarking formats to benchfmt☆13Jan 31, 2025Updated last year
- Deadline countdowns for academic conferences relevant to the SSE chair.☆13Jun 25, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- API endpoint and UI for blockbuilder search page☆21Dec 10, 2022Updated 3 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 4 years ago
- YouPS: An email automation tool that makes your email management easy! 😎☆14Jan 21, 2022Updated 4 years ago
- This repository contains the replication package of our paper "Assessing the Security of GitHub Copilot’s Generated Code - A Targeted Rep…☆10Nov 16, 2023Updated 2 years ago
- ModelDiff: A Framework for Comparing Learning Algorithms☆59Aug 15, 2023Updated 3 years ago
- [MICCAI2022] Estimating Model Performance under Domain Shifts with Class-Specific Confidence Scores.☆12Jun 7, 2024Updated 2 years ago
- ☆15Nov 9, 2020Updated 5 years ago
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Clone this repository to have a jsPsych starter project to tinker with☆11Mar 5, 2021Updated 5 years ago
- A simple example of using Tile38 to track the ISS and send notifications when it's overhead.☆10Sep 4, 2018Updated 8 years ago
- Learning Independent Causal Mechanisms for Sepsis☆10Dec 19, 2018Updated 7 years ago
- A test library for computing modular exponentiation in parallel using AVX-512 vector arithmetic☆12Dec 18, 2023Updated 2 years ago
- Code and dataset for EMNLP 2022 Findings paper "Benchmarking Language Models for Code Syntax Understanding"☆16Oct 24, 2022Updated 3 years ago
- Run Go executables under llvm-mca☆13Apr 1, 2022Updated 4 years ago
- A composable container for Adaptive ROS 2 Node computations. Select between FPGA, CPU or GPU at run-time.☆11Apr 14, 2022Updated 4 years ago