Skip to main content
Go to the home page of the European Commission (opens in new window)
English en
CORDIS - EU research results
CORDIS

Probabilistic Formal Verification for Provably Trustworthy AI

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Deliverables

Data Management Plan (opens in new window)

The Data Management Plan describes the data management life cycle for all data sets that will be collected, processed or generated by the action. It is a document describing what data will be collected, processed or generated and following what methodology and standards, whether and how this data will be shared and/or made open, and how it will be curated and preserved

Publications

Data Management Plan

A neuro-symbolic benchmark suite for concept quality and reasoning shortcuts

Author(s): Samuele Bortolotti, Emanuele Marconato, Tommaso Carraro, Paolo Morettin, Emile van Krieken, Antonio Vergari, Stefano Teso, Andrea Passerini
Publisher: Curran Associates

A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction

Author(s): Leander Kurscheidt, Paolo Morettin, Roberto Sebastiani, Andrea Passerini, Antonio Vergari
Publisher: ML Research Press

Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens

Author(s): Samuele Bortolotti, Emanuele Marconato, Paolo Morettin, Andrea Passerini, Stefano Teso
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0