Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
–Neural Information Processing Systems
This precludes applications that involve verification-agnostic networks, i.e., networks not specially trained for verification.
Neural Information Processing Systems
Oct-2-2025, 16:48:46 GMT
- Country:
- North America
- United States > California
- Los Angeles County > Los Angeles (0.14)
- Santa Clara County > Palo Alto (0.04)
- Alameda County > Berkeley (0.04)
- Canada
- Ontario > Toronto (0.04)
- Alberta > Census Division No. 15
- Improvement District No. 9 > Banff (0.04)
- United States > California
- North America
- Genre:
- Research Report (0.46)
- Technology: