External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of Neural Networks: Enhancing Scalability Through Pruning

Dario Guidotti, Francesco Leofante, Luca Pulina, Armando Tacchella. Verification of Neural Networks: Enhancing Scalability Through Pruning. In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, Jérôme Lang, editors, ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020). Volume 325 of Frontiers in Artificial Intelligence and Applications, pages 2505-2512, IOS Press, 2020. [doi]

Authors

Dario Guidotti

This author has not been identified. Look up 'Dario Guidotti' in Google

Francesco Leofante

This author has not been identified. Look up 'Francesco Leofante' in Google

Luca Pulina

This author has not been identified. Look up 'Luca Pulina' in Google

Armando Tacchella

This author has not been identified. Look up 'Armando Tacchella' in Google
runs on