Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes Duo Zhou
–Neural Information Processing Systems
However, GCP-CROWN currently relies on generic cutting planes ("cuts") generated from external
Neural Information Processing Systems
Oct-11-2025, 00:17:08 GMT
- Country:
- Asia
- India > Maharashtra
- Pune (0.04)
- Vietnam > Hải Dương Province
- Hải Dương (0.04)
- India > Maharashtra
- North America
- Canada > Quebec
- Montreal (0.04)
- United States
- Illinois > Champaign County
- Urbana (0.04)
- Massachusetts > Suffolk County
- Boston (0.04)
- Illinois > Champaign County
- Canada > Quebec
- Asia
- Genre:
- Research Report > Experimental Study (1.00)
- Industry:
- Information Technology (0.67)
- Technology: