Learning algorithms from natural proofs (Q5368744)
From MaRDI portal
scientific article; zbMATH DE number 6789275
Language | Label | Description | Also known as |
---|---|---|---|
English | Learning algorithms from natural proofs |
scientific article; zbMATH DE number 6789275 |
Statements
10 October 2017
0 references
natural proofs
0 references
circuit complexity
0 references
lower bounds
0 references
learning
0 references
compression
0 references
Learning algorithms from natural proofs (English)
0 references