Searching protocol for "extract modes"
Automate GPU kernel schema extraction.
Add and manage evaluation results in model cards
Structured LLM outputs with Pydantic.
Test model-extraction defenses with probes.
Extract weights from black-box ReLU nets.
Structured LLM outputs with Pydantic validation.
Structured LLM outputs with Pydantic.
Reverse-engineer ReLU network weights.
Structured LLM outputs with Pydantic
Structured LLM outputs with Pydantic validation.
Formalize imperative code in Coq.
Structured LLM outputs with Pydantic validation.