Searching protocol for "model-extraction"
Reverse-engineer ReLU network weights.
Test model-extraction defenses with probes.
Code to formal models
Formalize imperative code in Coq.
Code to formal models for verification
Generate SMV models from code.
Secure AI/LLM systems against advanced threats.
Extract weights from black-box ReLU nets.
Refactor Rails code with confidence and conventions.
Leverage historical findings for audit research.
Build Hugging Face API tools.
Safely refactor legacy code.