FaVeX

De Palma, Alessandro; Dolcetti, Greta; Urban, Caterina

doi:10.4230/artifacts.26386

Artifact

FaVeX Software

Authors Alessandro De Palma , Greta Dolcetti , Caterina Urban

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-06-25

Document Identifiers

DOI: 10.4230/artifacts.26386
URN: urn:nbn:de:0030-drops-263861

Author Details

Alessandro De Palma

London School of Economics and Political Science, UK

Greta Dolcetti

Ca' Foscari University of Venice, Italy

Caterina Urban

Inria $&$ ENS $|$ PSL, Paris, France

Content

Software (Source Code): https://github.com/alessandrodepalma/favex

Version/Status

Content created at: 2026-04-22

Cite As Get BibTex

Alessandro De Palma, Greta Dolcetti, Caterina Urban. FaVeX (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26386

Description

Faster Verified Explanations for Neural Networks

Subject Classification

Programming Languages

Python

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail