Matches in SemOpenAlex for { <https://semopenalex.org/work/W3120446224> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3120446224 abstract "We target the problem of proving the semantic equivalence between two complex expressions represented as typed trees, and demonstrate our system on expressions from a rich multi-type symbolic language for linear algebra. We propose the first graph-to-sequence deep learning system to generate axiomatic proofs of equivalence between program pairs. We generate expressions which include scalars, vectors and matrices and 16 distinct operators combining them, with 147 distinct axioms of equivalence. We study the robustness of the system to generate proofs of increasing length, demonstrating how incremental graph-to-sequence networks can learn to represent complex and verifiable symbolic reasoning. It achieves 93% average true positive coverage on 10,000 test cases while ensuring zero false positives by design." @default.
- W3120446224 created "2021-01-18" @default.
- W3120446224 creator A5019643450 @default.
- W3120446224 creator A5040769038 @default.
- W3120446224 creator A5056691763 @default.
- W3120446224 date "2021-05-04" @default.
- W3120446224 modified "2023-09-26" @default.
- W3120446224 title "Learning Axioms to Compute Verifiable Symbolic Expression Equivalence Proofs Using Graph-to-Sequence Networks" @default.
- W3120446224 hasPublicationYear "2021" @default.
- W3120446224 type Work @default.
- W3120446224 sameAs 3120446224 @default.
- W3120446224 citedByCount "0" @default.
- W3120446224 crossrefType "journal-article" @default.
- W3120446224 hasAuthorship W3120446224A5019643450 @default.
- W3120446224 hasAuthorship W3120446224A5040769038 @default.
- W3120446224 hasAuthorship W3120446224A5056691763 @default.
- W3120446224 hasConcept C108710211 @default.
- W3120446224 hasConcept C118615104 @default.
- W3120446224 hasConcept C136119220 @default.
- W3120446224 hasConcept C159718280 @default.
- W3120446224 hasConcept C167729594 @default.
- W3120446224 hasConcept C177264268 @default.
- W3120446224 hasConcept C199360897 @default.
- W3120446224 hasConcept C202444582 @default.
- W3120446224 hasConcept C2524010 @default.
- W3120446224 hasConcept C2780069185 @default.
- W3120446224 hasConcept C33923547 @default.
- W3120446224 hasConcept C41008148 @default.
- W3120446224 hasConcept C80444323 @default.
- W3120446224 hasConcept C85847156 @default.
- W3120446224 hasConceptScore W3120446224C108710211 @default.
- W3120446224 hasConceptScore W3120446224C118615104 @default.
- W3120446224 hasConceptScore W3120446224C136119220 @default.
- W3120446224 hasConceptScore W3120446224C159718280 @default.
- W3120446224 hasConceptScore W3120446224C167729594 @default.
- W3120446224 hasConceptScore W3120446224C177264268 @default.
- W3120446224 hasConceptScore W3120446224C199360897 @default.
- W3120446224 hasConceptScore W3120446224C202444582 @default.
- W3120446224 hasConceptScore W3120446224C2524010 @default.
- W3120446224 hasConceptScore W3120446224C2780069185 @default.
- W3120446224 hasConceptScore W3120446224C33923547 @default.
- W3120446224 hasConceptScore W3120446224C41008148 @default.
- W3120446224 hasConceptScore W3120446224C80444323 @default.
- W3120446224 hasConceptScore W3120446224C85847156 @default.
- W3120446224 hasLocation W31204462241 @default.
- W3120446224 hasOpenAccess W3120446224 @default.
- W3120446224 hasPrimaryLocation W31204462241 @default.
- W3120446224 hasRelatedWork W1493972536 @default.
- W3120446224 hasRelatedWork W1528441743 @default.
- W3120446224 hasRelatedWork W1629743385 @default.
- W3120446224 hasRelatedWork W1954393188 @default.
- W3120446224 hasRelatedWork W1963804765 @default.
- W3120446224 hasRelatedWork W2025079954 @default.
- W3120446224 hasRelatedWork W2049327306 @default.
- W3120446224 hasRelatedWork W2057089816 @default.
- W3120446224 hasRelatedWork W2076137686 @default.
- W3120446224 hasRelatedWork W2078803743 @default.
- W3120446224 hasRelatedWork W2088181725 @default.
- W3120446224 hasRelatedWork W2522575395 @default.
- W3120446224 hasRelatedWork W2963506294 @default.
- W3120446224 hasRelatedWork W2963779908 @default.
- W3120446224 hasRelatedWork W3017923731 @default.
- W3120446224 hasRelatedWork W3099785521 @default.
- W3120446224 hasRelatedWork W3108872077 @default.
- W3120446224 hasRelatedWork W3111113940 @default.
- W3120446224 hasRelatedWork W3167995401 @default.
- W3120446224 hasRelatedWork W3210044520 @default.
- W3120446224 isParatext "false" @default.
- W3120446224 isRetracted "false" @default.
- W3120446224 magId "3120446224" @default.
- W3120446224 workType "article" @default.