EF1-24 (Q656)
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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | EF1-24 |
Project EF1-24 in MATH+ (Expanding Merlin-Arthur Classifiers Interpretable Neural Networks through Interactive Proof Systems) |
