Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912144892> ?p ?o ?g. }
- W2912144892 abstract "Optimizing compilers, as well as other translator systems, often work by rewriting expressions according to equivalence preserving rules. Given an input expression and its optimized form, finding the sequence of rules that were applied is a non-trivial task. Most of the time, the tools provide no proof, of any kind, of the equivalence between the original expression and its optimized form. In this work, we propose to reconstruct proofs of equivalence of simple mathematical expressions, after the fact, by finding paths of equivalence preserving transformations between expressions. We propose to find those sequences of transformations using a search algorithm, guided by a neural network heuristic. Using a Tree-LSTM recursive neural network, we learn a distributed representation of expressions where the Manhattan distance between vectors approximately corresponds to the rewrite distance between expressions. We then show how the neural network can be efficiently used to search for transformation paths, leading to substantial gain in speed compared to an uninformed exhaustive search. In one of our experiments, our neural-network guided search algorithm is able to solve more instances with a 2 seconds timeout per instance than breadth-first search does with a 5 minutes timeout per instance." @default.
- W2912144892 created "2019-02-21" @default.
- W2912144892 creator A5008699657 @default.
- W2912144892 creator A5074801359 @default.
- W2912144892 date "2019-02-06" @default.
- W2912144892 modified "2023-10-01" @default.
- W2912144892 title "Neural-Network Guided Expression Transformation." @default.
- W2912144892 cites W1522301498 @default.
- W2912144892 cites W1548261674 @default.
- W2912144892 cites W1665214252 @default.
- W2912144892 cites W1968386045 @default.
- W2912144892 cites W1969483458 @default.
- W2912144892 cites W1997460147 @default.
- W2912144892 cites W2010608861 @default.
- W2912144892 cites W2038705805 @default.
- W2912144892 cites W2064675550 @default.
- W2912144892 cites W2081192312 @default.
- W2912144892 cites W2126316555 @default.
- W2912144892 cites W2127589108 @default.
- W2912144892 cites W2131744502 @default.
- W2912144892 cites W2136952590 @default.
- W2912144892 cites W2153579005 @default.
- W2912144892 cites W2165533158 @default.
- W2912144892 cites W2250539671 @default.
- W2912144892 cites W2257979135 @default.
- W2912144892 cites W2508865106 @default.
- W2912144892 cites W2606722458 @default.
- W2912144892 cites W2749479972 @default.
- W2912144892 cites W2752201871 @default.
- W2912144892 cites W2752885492 @default.
- W2912144892 cites W2760477357 @default.
- W2912144892 cites W2766447205 @default.
- W2912144892 cites W2772709170 @default.
- W2912144892 cites W2786776430 @default.
- W2912144892 cites W2899771611 @default.
- W2912144892 cites W2951264799 @default.
- W2912144892 cites W2953025981 @default.
- W2912144892 cites W2953212265 @default.
- W2912144892 cites W2963355447 @default.
- W2912144892 cites W2964091467 @default.
- W2912144892 cites W2964150020 @default.
- W2912144892 cites W658020064 @default.
- W2912144892 cites W69024957 @default.
- W2912144892 hasPublicationYear "2019" @default.
- W2912144892 type Work @default.
- W2912144892 sameAs 2912144892 @default.
- W2912144892 citedByCount "0" @default.
- W2912144892 crossrefType "posted-content" @default.
- W2912144892 hasAuthorship W2912144892A5008699657 @default.
- W2912144892 hasAuthorship W2912144892A5074801359 @default.
- W2912144892 hasConcept C104317684 @default.
- W2912144892 hasConcept C108710211 @default.
- W2912144892 hasConcept C111472728 @default.
- W2912144892 hasConcept C11413529 @default.
- W2912144892 hasConcept C118615104 @default.
- W2912144892 hasConcept C121329065 @default.
- W2912144892 hasConcept C138885662 @default.
- W2912144892 hasConcept C154690210 @default.
- W2912144892 hasConcept C154945302 @default.
- W2912144892 hasConcept C173801870 @default.
- W2912144892 hasConcept C185592680 @default.
- W2912144892 hasConcept C199360897 @default.
- W2912144892 hasConcept C204241405 @default.
- W2912144892 hasConcept C2524010 @default.
- W2912144892 hasConcept C2780069185 @default.
- W2912144892 hasConcept C2780586882 @default.
- W2912144892 hasConcept C31258907 @default.
- W2912144892 hasConcept C31691690 @default.
- W2912144892 hasConcept C33923547 @default.
- W2912144892 hasConcept C41008148 @default.
- W2912144892 hasConcept C50644808 @default.
- W2912144892 hasConcept C55493867 @default.
- W2912144892 hasConcept C80444323 @default.
- W2912144892 hasConcept C90559484 @default.
- W2912144892 hasConceptScore W2912144892C104317684 @default.
- W2912144892 hasConceptScore W2912144892C108710211 @default.
- W2912144892 hasConceptScore W2912144892C111472728 @default.
- W2912144892 hasConceptScore W2912144892C11413529 @default.
- W2912144892 hasConceptScore W2912144892C118615104 @default.
- W2912144892 hasConceptScore W2912144892C121329065 @default.
- W2912144892 hasConceptScore W2912144892C138885662 @default.
- W2912144892 hasConceptScore W2912144892C154690210 @default.
- W2912144892 hasConceptScore W2912144892C154945302 @default.
- W2912144892 hasConceptScore W2912144892C173801870 @default.
- W2912144892 hasConceptScore W2912144892C185592680 @default.
- W2912144892 hasConceptScore W2912144892C199360897 @default.
- W2912144892 hasConceptScore W2912144892C204241405 @default.
- W2912144892 hasConceptScore W2912144892C2524010 @default.
- W2912144892 hasConceptScore W2912144892C2780069185 @default.
- W2912144892 hasConceptScore W2912144892C2780586882 @default.
- W2912144892 hasConceptScore W2912144892C31258907 @default.
- W2912144892 hasConceptScore W2912144892C31691690 @default.
- W2912144892 hasConceptScore W2912144892C33923547 @default.
- W2912144892 hasConceptScore W2912144892C41008148 @default.
- W2912144892 hasConceptScore W2912144892C50644808 @default.
- W2912144892 hasConceptScore W2912144892C55493867 @default.
- W2912144892 hasConceptScore W2912144892C80444323 @default.
- W2912144892 hasConceptScore W2912144892C90559484 @default.
- W2912144892 hasLocation W29121448921 @default.
- W2912144892 hasOpenAccess W2912144892 @default.