Prefer a chat interface with context about you and your work?
Certification of MPC-based zonal controller security properties using accuracy-aware machine learning proxies