A formal proof of the expressiveness of deep learning (Q5919583): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-018-9481-5
@@ Property / DOI: 10.1007/s10817-018-9481-5 / rank @@
-Normal rank
@@ Property / author @@
-Dietrich Klakow
@@ Property / author: Dietrich Klakow / rank @@
-Normal rank
@@ Property / author @@
+Dietrich Klakow
@@ Property / author: Dietrich Klakow / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Groebner_Bases
@@ Property / describes a project that uses: Groebner_Bases / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Deep_Learning
@@ Property / describes a project that uses: Deep_Learning / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Polynomials
@@ Property / describes a project that uses: Polynomials / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Group-Ring-Module
@@ Property / describes a project that uses: Group-Ring-Module / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Matrix_Tensor
@@ Property / describes a project that uses: Matrix_Tensor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jordan Normal Forms
@@ Property / describes a project that uses: Jordan Normal Forms / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sledgehammer
@@ Property / describes a project that uses: Sledgehammer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Algorithm 862
@@ Property / describes a project that uses: Algorithm 862 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-018-9481-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2747942685
@@ Property / OpenAlex ID: W2747942685 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm 862
@@ Property / cites work: Algorithm 862 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal proof of the expressiveness of deep learning
+Normal rank
@@ Property / cites work @@
+Canonical Big Operators
@@ Property / cites work: Canonical Big Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-intelligible Isar proofs from machine-generated proofs
+Normal rank
@@ Property / cites work @@
+A learning-based fact selector for Isabelle/HOL
@@ Property / cites work: A learning-based fact selector for Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015189
@@ Property / cites work: Q5015189 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast LCF-Style Proof Reconstruction for Z3
@@ Property / cites work: Fast LCF-Style Proof Reconstruction for Z3 / rank @@
+Normal rank
@@ Property / cites work @@
+The probability that a slightly perturbed numerical analysis problem is difficult
+Normal rank
@@ Property / cites work @@
+A General Framework for the Analysis of Sets of Constraints
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Three Chapters of Measure Theory in Isabelle/HOL
@@ Property / cites work: Three Chapters of Measure Theory in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Gröbner bases of modules and Faugère's \(F_4\) algorithm in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+On the volume of tubular neighborhoods of real algebraic varieties
+Normal rank
@@ Property / cites work @@
+Concrete Semantics
@@ Property / cites work: Concrete Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Source-Level Proof Reconstruction for Interactive Theorem Proving
+Normal rank
@@ Property / Wikidata QID @@
+Q129196539
@@ Property / Wikidata QID: Q129196539 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-018-9481-5
@@ Property / DOI: 10.1007/S10817-018-9481-5 / rank @@
+Normal rank