FRINK Linked Data Fragments server

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

• W3115201256 abstract "Transformers have been shown to emulate logical deduction over natural language theories (logical rules expressed in natural language), reliably assigning true/false labels to candidate implications. However, their ability to generate implications of a theory has not yet been demonstrated, and methods for reconstructing proofs of answers are imperfect. In this work we show that a generative model, called ProofWriter, can reliably generate both implications of a theory and the natural language proof(s) that support them. In particular, iterating a 1-step implication generator results in proofs that are highly reliable, and represent actual model decisions (rather than post-hoc rationalizations). On the RuleTaker dataset, the accuracy of ProofWriter's proofs exceed previous methods by +9% absolute, and in a way that generalizes to proof depths unseen in training and on out-of-domain problems. We also show that generative techniques can perform a type of abduction with high precision: Given a theory and an unprovable conclusion, identify a missing fact that allows the conclusion to be proved, along with a proof. These results significantly improve the viability of neural methods for systematically reasoning over natural language." @default.
• W3115201256 created "2021-01-05" @default.
• W3115201256 creator A5071250061 @default.
• W3115201256 creator A5081635691 @default.
• W3115201256 creator A5087135401 @default.
• W3115201256 date "2020-12-24" @default.
• W3115201256 modified "2023-10-01" @default.
• W3115201256 title "ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language" @default.
• W3115201256 cites W1279140112 @default.
• W3115201256 cites W2119409989 @default.
• W3115201256 cites W2158937425 @default.
• W3115201256 cites W2167685423 @default.
• W3115201256 cites W2321696644 @default.
• W3115201256 cites W2891012317 @default.
• W3115201256 cites W2903190877 @default.
• W3115201256 cites W2950246755 @default.
• W3115201256 cites W2962875487 @default.
• W3115201256 cites W2963117013 @default.
• W3115201256 cites W2971869958 @default.
• W3115201256 cites W2995643077 @default.
• W3115201256 cites W3023690688 @default.
• W3115201256 cites W3034830866 @default.
• W3115201256 cites W3034873522 @default.
• W3115201256 cites W3035164567 @default.
• W3115201256 cites W3035503910 @default.
• W3115201256 cites W3082274269 @default.
• W3115201256 cites W3083835029 @default.
• W3115201256 cites W3101035550 @default.
• W3115201256 cites W3103412473 @default.
• W3115201256 cites W3104178968 @default.
• W3115201256 cites W3104992282 @default.
• W3115201256 cites W3105516974 @default.
• W3115201256 cites W40178828 @default.
• W3115201256 hasPublicationYear "2020" @default.
• W3115201256 type Work @default.
• W3115201256 sameAs 3115201256 @default.
• W3115201256 citedByCount "3" @default.
• W3115201256 countsByYear W31152012562021 @default.
• W3115201256 countsByYear W31152012562022 @default.
• W3115201256 crossrefType "posted-content" @default.
• W3115201256 hasAuthorship W3115201256A5071250061 @default.
• W3115201256 hasAuthorship W3115201256A5081635691 @default.
• W3115201256 hasAuthorship W3115201256A5087135401 @default.
• W3115201256 hasConcept C108710211 @default.
• W3115201256 hasConcept C121332964 @default.
• W3115201256 hasConcept C138885662 @default.
• W3115201256 hasConcept C154945302 @default.
• W3115201256 hasConcept C163258240 @default.
• W3115201256 hasConcept C166957645 @default.
• W3115201256 hasConcept C195324797 @default.
• W3115201256 hasConcept C199360897 @default.
• W3115201256 hasConcept C204321447 @default.
• W3115201256 hasConcept C2524010 @default.
• W3115201256 hasConcept C2776608160 @default.
• W3115201256 hasConcept C2780310539 @default.
• W3115201256 hasConcept C2780992000 @default.
• W3115201256 hasConcept C33923547 @default.
• W3115201256 hasConcept C39890363 @default.
• W3115201256 hasConcept C41008148 @default.
• W3115201256 hasConcept C41895202 @default.
• W3115201256 hasConcept C62073222 @default.
• W3115201256 hasConcept C62520636 @default.
• W3115201256 hasConcept C80444323 @default.
• W3115201256 hasConcept C95457728 @default.
• W3115201256 hasConceptScore W3115201256C108710211 @default.
• W3115201256 hasConceptScore W3115201256C121332964 @default.
• W3115201256 hasConceptScore W3115201256C138885662 @default.
• W3115201256 hasConceptScore W3115201256C154945302 @default.
• W3115201256 hasConceptScore W3115201256C163258240 @default.
• W3115201256 hasConceptScore W3115201256C166957645 @default.
• W3115201256 hasConceptScore W3115201256C195324797 @default.
• W3115201256 hasConceptScore W3115201256C199360897 @default.
• W3115201256 hasConceptScore W3115201256C204321447 @default.
• W3115201256 hasConceptScore W3115201256C2524010 @default.
• W3115201256 hasConceptScore W3115201256C2776608160 @default.
• W3115201256 hasConceptScore W3115201256C2780310539 @default.
• W3115201256 hasConceptScore W3115201256C2780992000 @default.
• W3115201256 hasConceptScore W3115201256C33923547 @default.
• W3115201256 hasConceptScore W3115201256C39890363 @default.
• W3115201256 hasConceptScore W3115201256C41008148 @default.
• W3115201256 hasConceptScore W3115201256C41895202 @default.
• W3115201256 hasConceptScore W3115201256C62073222 @default.
• W3115201256 hasConceptScore W3115201256C62520636 @default.
• W3115201256 hasConceptScore W3115201256C80444323 @default.
• W3115201256 hasConceptScore W3115201256C95457728 @default.
• W3115201256 hasLocation W31152012561 @default.
• W3115201256 hasOpenAccess W3115201256 @default.
• W3115201256 hasPrimaryLocation W31152012561 @default.
• W3115201256 hasRelatedWork W1541966923 @default.
• W3115201256 hasRelatedWork W1604327066 @default.
• W3115201256 hasRelatedWork W188245129 @default.
• W3115201256 hasRelatedWork W2039603601 @default.
• W3115201256 hasRelatedWork W2063750594 @default.
• W3115201256 hasRelatedWork W2101124889 @default.
• W3115201256 hasRelatedWork W2132353952 @default.
• W3115201256 hasRelatedWork W2200330162 @default.
• W3115201256 hasRelatedWork W2810336786 @default.
• W3115201256 hasRelatedWork W2889645270 @default.
• W3115201256 hasRelatedWork W2911538936 @default.
• W3115201256 hasRelatedWork W2912466821 @default.

• next