Skip to content
View Cristian-Curaba's full-sized avatar
18 followers · 12 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Block or report Cristian-Curaba

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. cascade-platform-org/CASCADE cascade-platform-org/CASCADE Public

    CASCADE models how disservices cascades across interdependent services through a customizable category-typed propagation engine with a capacity-aware flow module.

    TypeScript 1

  2. CryptoFormalEval CryptoFormalEval Public

    We introduce a benchmark for testing how well LLMs can find vulnerabilities in cryptographic protocols. By combining LLMs with symbolic reasoning tools like Tamarin, we aim to improve the efficienc…

    Haskell 14 2

  3. Cristian-Curaba.github.io Cristian-Curaba.github.io Public

    Portfolio Website

    HTML 2

  4. AI-Safety-for-Italy/AIS_Italy_Website AI-Safety-for-Italy/AIS_Italy_Website Public

    A modern, minimal static website for AI Safety Italy - built with Eleventy and Tailwind CSS.

    JavaScript 3 3