FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2945576559> ?p ?o ?g. }

• W2945576559 abstract "In this paper, we demonstrate how to do automated higher-order logic theorem proving in the presence of a large knowledge base of potential premises without learning from human proofs. We augment the exploration of premises based on a simple tf-idf (term frequency-inverse document frequency) based lookup in a deep reinforcement learning scenario. Our experiments show that our theorem prover trained with this exploration mechanism but no human proofs, dubbed DeepHOL Zero, outperforms provers that are trained only on human proofs. It approaches the performance of a prover trained by a combination of imitation and reinforcement learning. We perform multiple experiments to understand the importance of the underlying assumptions that make our exploration approach work, thus explaining our design choices." @default.
• W2945576559 created "2019-05-29" @default.
• W2945576559 creator A5002183320 @default.
• W2945576559 creator A5032173124 @default.
• W2945576559 creator A5037766115 @default.
• W2945576559 creator A5072217103 @default.
• W2945576559 creator A5085914523 @default.
• W2945576559 date "2021-05-04" @default.
• W2945576559 modified "2023-09-27" @default.
• W2945576559 title "Learning to Reason in Large Theories without Imitation" @default.
• W2945576559 cites W121484200 @default.
• W2945576559 cites W1464569014 @default.
• W2945576559 cites W1522301498 @default.
• W2945576559 cites W1571434026 @default.
• W2945576559 cites W1757796397 @default.
• W2945576559 cites W1825294361 @default.
• W2945576559 cites W1982239968 @default.
• W2945576559 cites W2086161653 @default.
• W2945576559 cites W2224671975 @default.
• W2945576559 cites W2310495003 @default.
• W2945576559 cites W2428112462 @default.
• W2945576559 cites W2509751917 @default.
• W2945576559 cites W2766447205 @default.
• W2945576559 cites W2807324060 @default.
• W2945576559 cites W2885550588 @default.
• W2945576559 cites W2951122437 @default.
• W2945576559 cites W2951286161 @default.
• W2945576559 cites W2957710066 @default.
• W2945576559 cites W2963147113 @default.
• W2945576559 cites W2963938535 @default.
• W2945576559 cites W2976115197 @default.
• W2945576559 cites W2982316857 @default.
• W2945576559 cites W2997319416 @default.
• W2945576559 cites W3105002484 @default.
• W2945576559 hasPublicationYear "2021" @default.
• W2945576559 type Work @default.
• W2945576559 sameAs 2945576559 @default.
• W2945576559 citedByCount "15" @default.
• W2945576559 countsByYear W29455765592019 @default.
• W2945576559 countsByYear W29455765592020 @default.
• W2945576559 countsByYear W29455765592021 @default.
• W2945576559 crossrefType "journal-article" @default.
• W2945576559 hasAuthorship W2945576559A5002183320 @default.
• W2945576559 hasAuthorship W2945576559A5032173124 @default.
• W2945576559 hasAuthorship W2945576559A5037766115 @default.
• W2945576559 hasAuthorship W2945576559A5072217103 @default.
• W2945576559 hasAuthorship W2945576559A5085914523 @default.
• W2945576559 hasConcept C108710211 @default.
• W2945576559 hasConcept C111472728 @default.
• W2945576559 hasConcept C126388530 @default.
• W2945576559 hasConcept C134306372 @default.
• W2945576559 hasConcept C138885662 @default.
• W2945576559 hasConcept C154945302 @default.
• W2945576559 hasConcept C15744967 @default.
• W2945576559 hasConcept C159718280 @default.
• W2945576559 hasConcept C206880738 @default.
• W2945576559 hasConcept C2524010 @default.
• W2945576559 hasConcept C2780586882 @default.
• W2945576559 hasConcept C33923547 @default.
• W2945576559 hasConcept C41008148 @default.
• W2945576559 hasConcept C42058472 @default.
• W2945576559 hasConcept C77805123 @default.
• W2945576559 hasConcept C80444323 @default.
• W2945576559 hasConcept C97541855 @default.
• W2945576559 hasConceptScore W2945576559C108710211 @default.
• W2945576559 hasConceptScore W2945576559C111472728 @default.
• W2945576559 hasConceptScore W2945576559C126388530 @default.
• W2945576559 hasConceptScore W2945576559C134306372 @default.
• W2945576559 hasConceptScore W2945576559C138885662 @default.
• W2945576559 hasConceptScore W2945576559C154945302 @default.
• W2945576559 hasConceptScore W2945576559C15744967 @default.
• W2945576559 hasConceptScore W2945576559C159718280 @default.
• W2945576559 hasConceptScore W2945576559C206880738 @default.
• W2945576559 hasConceptScore W2945576559C2524010 @default.
• W2945576559 hasConceptScore W2945576559C2780586882 @default.
• W2945576559 hasConceptScore W2945576559C33923547 @default.
• W2945576559 hasConceptScore W2945576559C41008148 @default.
• W2945576559 hasConceptScore W2945576559C42058472 @default.
• W2945576559 hasConceptScore W2945576559C77805123 @default.
• W2945576559 hasConceptScore W2945576559C80444323 @default.
• W2945576559 hasConceptScore W2945576559C97541855 @default.
• W2945576559 hasLocation W29455765591 @default.
• W2945576559 hasOpenAccess W2945576559 @default.
• W2945576559 hasPrimaryLocation W29455765591 @default.
• W2945576559 hasRelatedWork W1497011154 @default.
• W2945576559 hasRelatedWork W1781094 @default.
• W2945576559 hasRelatedWork W1982239968 @default.
• W2945576559 hasRelatedWork W2428112462 @default.
• W2945576559 hasRelatedWork W2883268853 @default.
• W2945576559 hasRelatedWork W2902391430 @default.
• W2945576559 hasRelatedWork W2932237430 @default.
• W2945576559 hasRelatedWork W2946011656 @default.
• W2945576559 hasRelatedWork W2946559657 @default.
• W2945576559 hasRelatedWork W2947304943 @default.
• W2945576559 hasRelatedWork W2963126744 @default.
• W2945576559 hasRelatedWork W2963147113 @default.
• W2945576559 hasRelatedWork W2963341956 @default.
• W2945576559 hasRelatedWork W2963376030 @default.
• W2945576559 hasRelatedWork W2963403868 @default.
• W2945576559 hasRelatedWork W2963938535 @default.

• next