research-fork
Popular repositories Loading
-
ReLuDiff_V2
ReLuDiff_V2 PublicThis is a new verification method for NN equivalency based on ReLuDiff.
C 1
-
free-programming-books
free-programming-books PublicForked from EbookFoundation/free-programming-books
đź“š Freely available programming books
-
Prophecy
Prophecy PublicForked from kadron/Prophecy
Property Inference from Deep Neural Networks
Jupyter Notebook
-
-
-
Repositories
- restler-fuzzer Public Forked from microsoft/restler-fuzzer
RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.
- Lemur-program-verification Public Forked from ai-ar-research/Lemur-program-verification
A verifier that integrates LLMs into automated C program verification
- niw-skill-suite Public Forked from VeraSuperHub/vera-eb-suite
Open-source AI skills for EB-2 NIW petition preparation — 7 skills covering the full pipeline from evaluation to RFE response, built on 5,000+ AAO decisions. For Claude.
- coloring-books Public Forked from ElliottSax/coloring-books
AI-powered adult coloring book generator for Amazon KDP
- abCROWN_Control_Tutorial Public Forked from Verified-Intelligence/abCROWN_Control_Tutorial
Guidance and examples for using auto_LiRPA and alpha-beta-CROWN in control research
- cottontail Public Forked from Cottontail-Proj/cottontail
Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)
- fuzz4all Public Forked from fuzz4all/fuzz4all
🌌️Fuzz4All: Universal Fuzzing with Large Language Models
- probspecs Public Forked from sen-uni-kn/probspecs
Probabilistic Specifcation Verification of Neural Networks
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…