Tools and data of the paper "Model-based Exploration of the Frontier of Behaviours for Deep Learning System Testing"
☆14Jul 9, 2024Updated 2 years ago
Alternatives and similar repositories for deepjanus
Users that are interested in deepjanus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Uncertainty-Wizard is a plugin on top of tensorflow.keras, allowing to easily and efficiently create uncertainty-aware deep neural networ…☆44May 24, 2023Updated 3 years ago
- ☆13May 25, 2022Updated 4 years ago
- The code of our paper "Misbehaviour Prediction for Autonomous Driving Systems", including our improved Udacity simulator☆21Jun 30, 2021Updated 5 years ago
- ☆19Aug 18, 2019Updated 6 years ago
- DeepCrime - Mutation Testing Tool for Deep Learning Systems☆14Sep 23, 2023Updated 2 years 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.
- Coverage-Guided Testing of Long Short-Term Memory (LSTM) Networks☆18Dec 15, 2020Updated 5 years ago
- ☆10Dec 27, 2022Updated 3 years ago
- A collection of dnn test input prioritizers often used as benchmarks in recent literature.☆19Feb 3, 2023Updated 3 years ago
- Reward Guided Test Generation for Deep Learning☆21Aug 2, 2024Updated 2 years ago
- Github for the conference paper GLOD-Gaussian Likelihood OOD detector☆16Apr 18, 2022Updated 4 years ago
- ☆23Mar 20, 2021Updated 5 years ago
- Repository for "Known Unknowns: Uncertainty Quality in Bayesian Neural Networks" paper.☆12Mar 3, 2017Updated 9 years ago
- Code for the paper "Coordinated Multi-Agent Exploration, Rendezvous, & Task Allocation in Unknown Environments with Limited Connectivity"☆22Jun 9, 2024Updated 2 years ago
- EagleRepair fixes static analysis warnings in C# programs. Easy to use. Blazing fast. Based on research.☆12Feb 27, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Build docker images with our robot simulations☆13May 19, 2026Updated 2 months ago
- Expanded serializers for Gson☆10Nov 3, 2019Updated 6 years ago
- ☆11Dec 22, 2019Updated 6 years ago
- The objectives is to maximize the coverage rate in a specific area.☆18Jun 30, 2021Updated 5 years ago
- Pure Tensorflow implementation of the SGR layer as proposed in "Symbolic Graph Reasoning Meets Convolutions" .☆19Jun 17, 2021Updated 5 years ago
- Code release for RobOT (ICSE'21)☆15Dec 5, 2022Updated 3 years ago
- a nearest frontier based DQN alg for robot exploration☆21Jul 7, 2022Updated 4 years ago
- Provides tools for literature snowballing☆69Oct 27, 2022Updated 3 years ago
- The repository hosts the code for the SBST CPS Tool competition for testing autonomous cars.☆20Nov 4, 2022Updated 3 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.
- Out-of-distribution detection using the pNML regret. NeurIPS2021☆25Dec 20, 2024Updated last year
- ☆29Oct 29, 2022Updated 3 years ago
- [SafeAI'21] Feature Space Singularity for Out-of-Distribution Detection.☆79Feb 15, 2021Updated 5 years ago
- ☆13Feb 14, 2022Updated 4 years ago
- A LaTeX package for writing a THesis at the University of Udine☆30Aug 21, 2025Updated 11 months ago
- Extracts static code features from opencl kernels to be used for machine learning.☆10Apr 30, 2021Updated 5 years ago
- SpongeBugs: Automatically Generating Fix Suggestions for SonarQube / SpotBugs☆23Nov 30, 2021Updated 4 years ago
- Tensorflow implementation of Asynchronous Advantage Actor Critic (A3C) from "Asynchronous Methods for Deep Reinforcement Learning".☆24Apr 20, 2017Updated 9 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 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.
- 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
- ProbFuzz: A Framework for Testing Probabilistic Programming Systems☆10Oct 22, 2018Updated 7 years ago
- A tool to match license text with SPDX license list using a an algorithm with finds close matches. It follows SPDX Matching guidelines to…☆34Updated this week
- ☆12Nov 14, 2021Updated 4 years ago
- Conditional VAE in Tensorflow 2 | Conditional Image Generation | CelebA dataset☆26Apr 12, 2021Updated 5 years ago
- A toolset for the automatic GUI testing of mobile Android Applications.☆31Dec 28, 2017Updated 8 years ago
- ☆16Oct 2, 2024Updated last year