Matches in SemOpenAlex for { <https://semopenalex.org/work/W3029284261> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3029284261 abstract "We describe several datasets and first experiments with creating conjectures by neural methods. The datasets are based on the Mizar Mathematical Library processed in several forms and the problems extracted from it by the MPTP system and proved by the E prover using the ENIGMA guidance. The conjecturing experiments use the Transformer architecture and in particular its GPT-2 implementation." @default.
- W3029284261 created "2020-06-05" @default.
- W3029284261 creator A5028662024 @default.
- W3029284261 creator A5031019731 @default.
- W3029284261 date "2020-05-29" @default.
- W3029284261 modified "2023-10-16" @default.
- W3029284261 title "First Neural Conjecturing Datasets and Experiments" @default.
- W3029284261 cites W1577521907 @default.
- W3029284261 cites W1995539874 @default.
- W3029284261 cites W2232826555 @default.
- W3029284261 cites W2583369873 @default.
- W3029284261 cites W2584124986 @default.
- W3029284261 cites W2746433573 @default.
- W3029284261 cites W2804320211 @default.
- W3029284261 cites W2993972992 @default.
- W3029284261 cites W3032312132 @default.
- W3029284261 cites W3150570724 @default.
- W3029284261 hasPublicationYear "2020" @default.
- W3029284261 type Work @default.
- W3029284261 sameAs 3029284261 @default.
- W3029284261 citedByCount "3" @default.
- W3029284261 countsByYear W30292842612020 @default.
- W3029284261 countsByYear W30292842612021 @default.
- W3029284261 crossrefType "posted-content" @default.
- W3029284261 hasAuthorship W3029284261A5028662024 @default.
- W3029284261 hasAuthorship W3029284261A5031019731 @default.
- W3029284261 hasConcept C119599485 @default.
- W3029284261 hasConcept C119857082 @default.
- W3029284261 hasConcept C123657996 @default.
- W3029284261 hasConcept C127413603 @default.
- W3029284261 hasConcept C154945302 @default.
- W3029284261 hasConcept C165801399 @default.
- W3029284261 hasConcept C166957645 @default.
- W3029284261 hasConcept C205649164 @default.
- W3029284261 hasConcept C41008148 @default.
- W3029284261 hasConcept C50644808 @default.
- W3029284261 hasConcept C66322947 @default.
- W3029284261 hasConceptScore W3029284261C119599485 @default.
- W3029284261 hasConceptScore W3029284261C119857082 @default.
- W3029284261 hasConceptScore W3029284261C123657996 @default.
- W3029284261 hasConceptScore W3029284261C127413603 @default.
- W3029284261 hasConceptScore W3029284261C154945302 @default.
- W3029284261 hasConceptScore W3029284261C165801399 @default.
- W3029284261 hasConceptScore W3029284261C166957645 @default.
- W3029284261 hasConceptScore W3029284261C205649164 @default.
- W3029284261 hasConceptScore W3029284261C41008148 @default.
- W3029284261 hasConceptScore W3029284261C50644808 @default.
- W3029284261 hasConceptScore W3029284261C66322947 @default.
- W3029284261 hasLocation W30292842611 @default.
- W3029284261 hasOpenAccess W3029284261 @default.
- W3029284261 hasPrimaryLocation W30292842611 @default.
- W3029284261 hasRelatedWork W1649408115 @default.
- W3029284261 hasRelatedWork W1993472384 @default.
- W3029284261 hasRelatedWork W1999483606 @default.
- W3029284261 hasRelatedWork W2048372145 @default.
- W3029284261 hasRelatedWork W2066034485 @default.
- W3029284261 hasRelatedWork W220542297 @default.
- W3029284261 hasRelatedWork W2273211735 @default.
- W3029284261 hasRelatedWork W2615879196 @default.
- W3029284261 hasRelatedWork W2921861056 @default.
- W3029284261 hasRelatedWork W2942168141 @default.
- W3029284261 hasRelatedWork W2952752356 @default.
- W3029284261 hasRelatedWork W2962618272 @default.
- W3029284261 hasRelatedWork W3011081898 @default.
- W3029284261 hasRelatedWork W3022635910 @default.
- W3029284261 hasRelatedWork W3042720530 @default.
- W3029284261 hasRelatedWork W3102726227 @default.
- W3029284261 hasRelatedWork W3147552380 @default.
- W3029284261 hasRelatedWork W3194247732 @default.
- W3029284261 hasRelatedWork W3194752246 @default.
- W3029284261 hasRelatedWork W2913831641 @default.
- W3029284261 isParatext "false" @default.
- W3029284261 isRetracted "false" @default.
- W3029284261 magId "3029284261" @default.
- W3029284261 workType "article" @default.