21 skills found
andrejbauer / Notes On RealizabilityLecture notes on realizability
tongwu2020 / PhattacksDefending Against Physically Realizable Attacks on Image Classification
chen37058 / Physical Attacks In Embodied NavThe official implementation for "Towards Physically Realizable Adversarial Attacks in Embodied Vision Navigation(IROS 2025)"
tomdjong / MGS Categorical RealizabilityLecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the European Summer School on Logic, Language and Information (ESSLLI) 2025
rahulc29 / RealizabilityExperiments with Realizability in Univalent Type Theory
anderslundstedt / Pca RealizabilityPartial combinatory algebras and realizability interpretations of arithmetic, in Coq.
R2U2 / R2u2The Realizable Responsive Unobtrusive Unit is an online runtime monitor framework.
thestephencasper / Feature Level AdvDemo code for the paper: One Thing to Fool them All: Generating Interpretable, Universal, and Physically-Realizable Adversarial Features
jonsterling / TT ReflectionAn experimental type theory with scoped equality reflection, and non-arbitrary proof search. This is basically a pared down version of Andromeda/Brazil, but with untyped reduction and a more Nuprl-like feel. Computational content of proofs is got via a realizability-based extraction. (Note: substitution is unsafe here, not because of a problem with the theory, but because I didn't understand how Bound works sadly.)
Skar0 / SporeSPORE: Symbolic Partial sOlvers for REalizability
shinington / Robust PDF Classifier With Conserved FeaturesCorresponding code to "Improving Robustness of ML Classifiers against Realizable Evasion Attacks Using Conserved Features" @ USENIX Security 2019.
ASU-APG / Targeted Physical Adversarial Attacks On ADPhysically Realizable Targeted Attacks on Autonomous Driving
andrejbauer / RzA tool for automatic generation of specifications based on realizability theory
awodey / HRThigher realizability topos
luyuliu / Realizable AccessibilityThis repository hosts the scripts of the paper "Realizable Accessibility: Evaluating the Reliability of Public Transit Accessibility using High-resolution Real-time Data".
Lapin0t / Mu Mu TildeA mini formalization of μμ͂ and classical realizability
chenxiaoyupetter / Physically Realizable Adversarial Attacks On 3D Point CloudPhysically Realizable Adversarial Attacks On 3D Point Cloud
TOTBWF / Lean RzRealizability theory in lean
awodey / Ritoprealizability oo-topos
Lapin0t / Amcrabstract machine for classical realizability