Alien coding (Q6066843)
From MaRDI portal
scientific article; zbMATH DE number 7766523
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Alien coding |
scientific article; zbMATH DE number 7766523 |
Statements
Alien coding (English)
0 references
16 November 2023
0 references
automated reasoning for mathematics
0 references
machine learning
0 references
integer sequences
0 references
0 references
