PV1 ⊧ Petit Poucetoperates with functions and their combinations formally and explainably
Allows users to create their own complex functions by composing built-in primitives. The tool can then automatically produce an explanation for any result computed by these functions on a given input.
Application domain/field
Explainability
Type of tool
Library
Expected input
User creates a function by composing elementary functions.
