Efficient Exact Verification of Binarized Neural Networks

Nov-13-2025, 09:46:21 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

Nov-13-2025, 09:46:21 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)

Duplicate Docs Excel Report

Title
Efficient Exact Verification of Binarized Neural Networks

Similar Docs Excel Report more

Title	Similarity	Source
None found