Matches in SemOpenAlex for { <https://semopenalex.org/work/W3032312132> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W3032312132 abstract "In this work we develop a new learning-based method for selecting facts (premises) when proving new goals over large formal libraries. Unlike previous methods that choose sets of facts independently of each other by their rank, the new method uses the notion of state that is updated each time a choice of a fact is made. Our stateful architecture is based on recurrent neural networks which have been recently very successful in stateful tasks such as language translation. The new method is combined with data augmentation techniques, evaluated in several ways on a standard large-theory benchmark and compared to state-of-the-art premise approach based on gradient boosted trees. It is shown to perform significantly better and to solve many new problems." @default.
- W3032312132 created "2020-06-05" @default.
- W3032312132 creator A5024670605 @default.
- W3032312132 creator A5031019731 @default.
- W3032312132 date "2020-05-27" @default.
- W3032312132 modified "2023-09-29" @default.
- W3032312132 title "Stateful Premise Selection by Recurrent Neural Networks" @default.
- W3032312132 doi "https://doi.org/10.29007/j5hd" @default.
- W3032312132 hasPublicationYear "2020" @default.
- W3032312132 type Work @default.
- W3032312132 sameAs 3032312132 @default.
- W3032312132 citedByCount "7" @default.
- W3032312132 countsByYear W30323121322019 @default.
- W3032312132 countsByYear W30323121322020 @default.
- W3032312132 countsByYear W30323121322021 @default.
- W3032312132 countsByYear W30323121322023 @default.
- W3032312132 crossrefType "proceedings-article" @default.
- W3032312132 hasAuthorship W3032312132A5024670605 @default.
- W3032312132 hasAuthorship W3032312132A5031019731 @default.
- W3032312132 hasBestOaLocation W30323121321 @default.
- W3032312132 hasConcept C119857082 @default.
- W3032312132 hasConcept C13280743 @default.
- W3032312132 hasConcept C138885662 @default.
- W3032312132 hasConcept C147168706 @default.
- W3032312132 hasConcept C154945302 @default.
- W3032312132 hasConcept C158379750 @default.
- W3032312132 hasConcept C185798385 @default.
- W3032312132 hasConcept C199360897 @default.
- W3032312132 hasConcept C205649164 @default.
- W3032312132 hasConcept C22927095 @default.
- W3032312132 hasConcept C2778023277 @default.
- W3032312132 hasConcept C31258907 @default.
- W3032312132 hasConcept C41008148 @default.
- W3032312132 hasConcept C41895202 @default.
- W3032312132 hasConcept C48103436 @default.
- W3032312132 hasConcept C50644808 @default.
- W3032312132 hasConcept C80444323 @default.
- W3032312132 hasConcept C81917197 @default.
- W3032312132 hasConceptScore W3032312132C119857082 @default.
- W3032312132 hasConceptScore W3032312132C13280743 @default.
- W3032312132 hasConceptScore W3032312132C138885662 @default.
- W3032312132 hasConceptScore W3032312132C147168706 @default.
- W3032312132 hasConceptScore W3032312132C154945302 @default.
- W3032312132 hasConceptScore W3032312132C158379750 @default.
- W3032312132 hasConceptScore W3032312132C185798385 @default.
- W3032312132 hasConceptScore W3032312132C199360897 @default.
- W3032312132 hasConceptScore W3032312132C205649164 @default.
- W3032312132 hasConceptScore W3032312132C22927095 @default.
- W3032312132 hasConceptScore W3032312132C2778023277 @default.
- W3032312132 hasConceptScore W3032312132C31258907 @default.
- W3032312132 hasConceptScore W3032312132C41008148 @default.
- W3032312132 hasConceptScore W3032312132C41895202 @default.
- W3032312132 hasConceptScore W3032312132C48103436 @default.
- W3032312132 hasConceptScore W3032312132C50644808 @default.
- W3032312132 hasConceptScore W3032312132C80444323 @default.
- W3032312132 hasConceptScore W3032312132C81917197 @default.
- W3032312132 hasLocation W30323121321 @default.
- W3032312132 hasLocation W30323121322 @default.
- W3032312132 hasOpenAccess W3032312132 @default.
- W3032312132 hasPrimaryLocation W30323121321 @default.
- W3032312132 hasRelatedWork W2328741292 @default.
- W3032312132 hasRelatedWork W2793022090 @default.
- W3032312132 hasRelatedWork W3032312132 @default.
- W3032312132 hasRelatedWork W3211546796 @default.
- W3032312132 hasRelatedWork W4213142596 @default.
- W3032312132 hasRelatedWork W4281386417 @default.
- W3032312132 hasRelatedWork W4298168912 @default.
- W3032312132 hasRelatedWork W4327531511 @default.
- W3032312132 hasRelatedWork W4327831767 @default.
- W3032312132 hasRelatedWork W1629725936 @default.
- W3032312132 isParatext "false" @default.
- W3032312132 isRetracted "false" @default.
- W3032312132 magId "3032312132" @default.
- W3032312132 workType "article" @default.