Code accompanying "Sketching Curvature for Efficient Out-of-Distribution Detection for Deep Neural Networks"
☆22Aug 13, 2021Updated 4 years ago
Alternatives and similar repositories for SCOD
Users that are interested in SCOD are comparing it to the libraries listed below
Sorting:
- ☆12Dec 14, 2021Updated 4 years ago
- ☆18Jul 21, 2025Updated 7 months ago
- ☆18Feb 12, 2026Updated 2 weeks ago
- Julia package for computing Hamilton-Jacobi Reachability of optimal 2-player (control/disturbance) differential games via Hopf optimizati…☆22Aug 14, 2025Updated 6 months ago
- Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (ht…☆17Nov 23, 2020Updated 5 years ago
- ☆27Sep 27, 2024Updated last year
- Sparse Identification of Nonlinear Dynamics for Hybrid Systems☆28Aug 8, 2018Updated 7 years ago
- ☆35May 8, 2019Updated 6 years ago
- ☆11Aug 10, 2023Updated 2 years ago
- ☆10Mar 24, 2025Updated 11 months ago
- Tool for computing unmitigated collision risk using traffic density data☆13Aug 15, 2023Updated 2 years ago
- ☆12Jun 18, 2024Updated last year
- SSL Video Representation Learning project☆14Jul 8, 2025Updated 7 months ago
- Templates for musical textual inversion for riffusion☆11Apr 14, 2023Updated 2 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- A simple heapless command line interface parser for embedded devices☆16Mar 15, 2019Updated 6 years ago
- An ROS interface to control gremsy gimbals☆10Nov 5, 2023Updated 2 years ago
- Tenary Weight Network implement using tensorflow☆11Nov 22, 2021Updated 4 years ago
- ☆19Jun 11, 2025Updated 8 months ago
- ☆13Apr 15, 2024Updated last year
- CAPD library☆16Jan 4, 2026Updated last month
- This is Pytorch re-implementation of the ICCV 2023 paper "Segmenting Known Objects and Unseen Unknowns without Prior Knowledge" (https://…☆13Apr 12, 2024Updated last year
- A Python library for creating digital sound.☆13Sep 22, 2024Updated last year
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- Newton-type accelerated proximal gradient method in Julia☆12May 13, 2019Updated 6 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Motion Planning Hyperparameter Optimization☆12Nov 2, 2022Updated 3 years ago
- Configuration for my home server running on an old Thinkpad T440s☆20Jan 4, 2026Updated last month
- Matlab interface for SCS☆13Nov 24, 2025Updated 3 months ago
- A Python toolbox for structural identifiability and observability analysis of nonlinear models☆14Apr 21, 2022Updated 3 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- SMC-LTL: SMC-Based LTL MultiRobot Motion Planner☆14Jul 24, 2023Updated 2 years ago
- Code for the paper "Pretrained Models for Multilingual Federated Learning" at NAACL 2022☆11Aug 9, 2022Updated 3 years ago
- Codebase for a Marimba playing robot☆15Nov 6, 2024Updated last year
- A literature review for constructing and using knowledge graphs in a biomedical setting.☆11May 22, 2020Updated 5 years ago
- Neural Networks with CasADi☆12Mar 28, 2025Updated 11 months ago
- ☆10Nov 5, 2016Updated 9 years ago
- ☆10Mar 24, 2023Updated 2 years ago
- Fourth edition of VNN COMP (2023)☆16Apr 12, 2023Updated 2 years ago