Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287672496> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4287672496 abstract "We present an implementation of tree neural networks within the proof assistant HOL4. Their architecture makes them naturally suited for approximating functions whose domain is a set of formulas. We measure the performance of our implementation and compare it with other machine learning predictors on the tasks of evaluating arithmetical expressions and estimating the truth of propositional formulas." @default.
- W4287672496 created "2022-07-25" @default.
- W4287672496 creator A5048490198 @default.
- W4287672496 date "2020-09-03" @default.
- W4287672496 modified "2023-09-30" @default.
- W4287672496 title "Tree Neural Networks in HOL4" @default.
- W4287672496 doi "https://doi.org/10.48550/arxiv.2009.01827" @default.
- W4287672496 hasPublicationYear "2020" @default.
- W4287672496 type Work @default.
- W4287672496 citedByCount "0" @default.
- W4287672496 crossrefType "posted-content" @default.
- W4287672496 hasAuthorship W4287672496A5048490198 @default.
- W4287672496 hasBestOaLocation W42876724961 @default.
- W4287672496 hasConcept C112343008 @default.
- W4287672496 hasConcept C113174947 @default.
- W4287672496 hasConcept C11413529 @default.
- W4287672496 hasConcept C118615104 @default.
- W4287672496 hasConcept C134306372 @default.
- W4287672496 hasConcept C154945302 @default.
- W4287672496 hasConcept C163797641 @default.
- W4287672496 hasConcept C177264268 @default.
- W4287672496 hasConcept C197855036 @default.
- W4287672496 hasConcept C199360897 @default.
- W4287672496 hasConcept C33923547 @default.
- W4287672496 hasConcept C36503486 @default.
- W4287672496 hasConcept C41008148 @default.
- W4287672496 hasConcept C50644808 @default.
- W4287672496 hasConcept C80444323 @default.
- W4287672496 hasConceptScore W4287672496C112343008 @default.
- W4287672496 hasConceptScore W4287672496C113174947 @default.
- W4287672496 hasConceptScore W4287672496C11413529 @default.
- W4287672496 hasConceptScore W4287672496C118615104 @default.
- W4287672496 hasConceptScore W4287672496C134306372 @default.
- W4287672496 hasConceptScore W4287672496C154945302 @default.
- W4287672496 hasConceptScore W4287672496C163797641 @default.
- W4287672496 hasConceptScore W4287672496C177264268 @default.
- W4287672496 hasConceptScore W4287672496C197855036 @default.
- W4287672496 hasConceptScore W4287672496C199360897 @default.
- W4287672496 hasConceptScore W4287672496C33923547 @default.
- W4287672496 hasConceptScore W4287672496C36503486 @default.
- W4287672496 hasConceptScore W4287672496C41008148 @default.
- W4287672496 hasConceptScore W4287672496C50644808 @default.
- W4287672496 hasConceptScore W4287672496C80444323 @default.
- W4287672496 hasLocation W42876724961 @default.
- W4287672496 hasOpenAccess W4287672496 @default.
- W4287672496 hasPrimaryLocation W42876724961 @default.
- W4287672496 hasRelatedWork W1953245530 @default.
- W4287672496 hasRelatedWork W1968430047 @default.
- W4287672496 hasRelatedWork W2071376779 @default.
- W4287672496 hasRelatedWork W2275586054 @default.
- W4287672496 hasRelatedWork W2347223698 @default.
- W4287672496 hasRelatedWork W2354570654 @default.
- W4287672496 hasRelatedWork W2355247546 @default.
- W4287672496 hasRelatedWork W2379488605 @default.
- W4287672496 hasRelatedWork W2916932508 @default.
- W4287672496 hasRelatedWork W2951789985 @default.
- W4287672496 isParatext "false" @default.
- W4287672496 isRetracted "false" @default.
- W4287672496 workType "article" @default.