EF1-24 (Q656)

From MaRDI portal
Revision as of 09:14, 20 February 2025 by Importer (talk | contribs) (‎Changed label, description and/or aliases in en, and other parts)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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