Efficient Exact Verification of Binarized Neural Networks

Oct-2-2025, 03:52:00 GMT–Neural Information Processing Systems

Concerned with the reliability of neural networks, researchers have developed verification techniques to prove their robustness.

artificial intelligence, machine learning, neural network, (16 more...)

Neural Information Processing Systems

Oct-2-2025, 03:52:00 GMT

Conferences PDF

Country:
- Europe
  - Sweden > Stockholm
    - Stockholm (0.04)
  - United Kingdom > Wales
    - Swansea (0.04)
- North America
  - Canada (0.04)
  - United States > Massachusetts
    - Middlesex County > Cambridge (0.14)

Genre:
- Research Report > New Finding (0.68)

Industry:
- Information Technology > Security & Privacy (0.68)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning > Neural Networks
    - Deep Learning (0.68)
  - Representation & Reasoning (1.00)