Template for blueprint-driven formalization projects in Lean.

Formalization of the existence of sphere eversions

A project to map out the relations between different equational theories of Magmas.

A gently curated list of companies using verification formal methods in industry

OWASP Juice Shop: Probably the most modern and sophisticated insecure web application

Universal and Transferable Attacks on Aligned Language Models

The official implementation of our ICLR2024 paper "AutoDAN: Generating Stealthy Jailbreak Prompts on Aligned Large Language Models".

Official Repo of ACL 2024 Paper `ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs`

We jailbreak GPT-3.5 Turbo’s safety guardrails by fine-tuning it on only 10 adversarially designed examples, at a cost of less than $0.20 via OpenAI’s APIs.

[arXiv:2311.03191] "DeepInception: Hypnotize Large Language Model to Be Jailbreaker"

Opensource IDE For Exploring and Testing Api's (lightweight alternative to postman/insomnia)

A Python package for causal inference in quasi-experimental settings

This example is the end result of Robocorp's beginners course.

Prefect is a workflow orchestration tool empowering developers to build, observe, and react to data pipelines

Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a toolkit of libraries (Ray AIR) for accelerating ML workloads.

Feature Store for Machine Learning

🍬 BlockSuite is the open-source collaborative editor project behind AFFiNE.

Specify what you want it to build, the AI asks for clarification, and then builds it.

Bayesian Modeling in Python