EF1-24 (Q6483095)

From MaRDI portal
Project EF1-24 in MATH+ (Expanding Merlin-Arthur Classifiers Interpretable Neural Networks through Interactive Proof Systems)
Language Label Description Also known as
English
EF1-24
Project EF1-24 in MATH+ (Expanding Merlin-Arthur Classifiers Interpretable Neural Networks through Interactive Proof Systems)

    Statements

    0 references