FRINK Linked Data Fragments server

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

• W4313303751 abstract "Remarkable progress has been made on automated reasoning with natural text, by using Language Models (LMs) and methods such as Chain-of-Thought and Selection-Inference. These techniques search for proofs in the forward direction from axioms to the conclusion, which suffers from a combinatorial explosion of the search space, and thus high failure rates for problems requiring longer chains of reasoning. The classical automated reasoning literature has shown that reasoning in the backward direction (i.e. from the intended conclusion to supporting axioms) is significantly more efficient at proof-finding. Importing this intuition into the LM setting, we develop a Backward Chaining algorithm, called LAMBADA, that decomposes reasoning into four sub-modules. These sub-modules are simply implemented by few-shot prompted LM inference. We show that LAMBADA achieves sizable accuracy boosts over state-of-the-art forward reasoning methods on challenging logical reasoning datasets, particularly when deep and accurate proof chains are required." @default.
• W4313303751 created "2023-01-06" @default.
• W4313303751 creator A5001713310 @default.
• W4313303751 creator A5007853464 @default.
• W4313303751 creator A5065918431 @default.
• W4313303751 creator A5071542832 @default.
• W4313303751 creator A5075099055 @default.
• W4313303751 date "2022-12-20" @default.
• W4313303751 modified "2023-10-16" @default.
• W4313303751 title "LAMBADA: Backward Chaining for Automated Reasoning in Natural Language" @default.
• W4313303751 doi "https://doi.org/10.48550/arxiv.2212.13894" @default.
• W4313303751 hasPublicationYear "2022" @default.
• W4313303751 type Work @default.
• W4313303751 citedByCount "0" @default.
• W4313303751 crossrefType "posted-content" @default.
• W4313303751 hasAuthorship W4313303751A5001713310 @default.
• W4313303751 hasAuthorship W4313303751A5007853464 @default.
• W4313303751 hasAuthorship W4313303751A5065918431 @default.
• W4313303751 hasAuthorship W4313303751A5071542832 @default.
• W4313303751 hasAuthorship W4313303751A5075099055 @default.
• W4313303751 hasBestOaLocation W43133037511 @default.
• W4313303751 hasConcept C108710211 @default.
• W4313303751 hasConcept C129916263 @default.
• W4313303751 hasConcept C132010649 @default.
• W4313303751 hasConcept C140843580 @default.
• W4313303751 hasConcept C142614401 @default.
• W4313303751 hasConcept C154945302 @default.
• W4313303751 hasConcept C15744967 @default.
• W4313303751 hasConcept C159032336 @default.
• W4313303751 hasConcept C161301231 @default.
• W4313303751 hasConcept C166088908 @default.
• W4313303751 hasConcept C167729594 @default.
• W4313303751 hasConcept C169760540 @default.
• W4313303751 hasConcept C169900460 @default.
• W4313303751 hasConcept C188147891 @default.
• W4313303751 hasConcept C195324797 @default.
• W4313303751 hasConcept C195344581 @default.
• W4313303751 hasConcept C199360897 @default.
• W4313303751 hasConcept C2524010 @default.
• W4313303751 hasConcept C2776214188 @default.
• W4313303751 hasConcept C33923547 @default.
• W4313303751 hasConcept C36964233 @default.
• W4313303751 hasConcept C37335422 @default.
• W4313303751 hasConcept C41008148 @default.
• W4313303751 hasConcept C46743427 @default.
• W4313303751 hasConcept C49020025 @default.
• W4313303751 hasConcept C542102704 @default.
• W4313303751 hasConcept C58328972 @default.
• W4313303751 hasConcept C62073222 @default.
• W4313303751 hasConcept C86803240 @default.
• W4313303751 hasConcept C86827895 @default.
• W4313303751 hasConcept C89288958 @default.
• W4313303751 hasConcept C97364631 @default.
• W4313303751 hasConceptScore W4313303751C108710211 @default.
• W4313303751 hasConceptScore W4313303751C129916263 @default.
• W4313303751 hasConceptScore W4313303751C132010649 @default.
• W4313303751 hasConceptScore W4313303751C140843580 @default.
• W4313303751 hasConceptScore W4313303751C142614401 @default.
• W4313303751 hasConceptScore W4313303751C154945302 @default.
• W4313303751 hasConceptScore W4313303751C15744967 @default.
• W4313303751 hasConceptScore W4313303751C159032336 @default.
• W4313303751 hasConceptScore W4313303751C161301231 @default.
• W4313303751 hasConceptScore W4313303751C166088908 @default.
• W4313303751 hasConceptScore W4313303751C167729594 @default.
• W4313303751 hasConceptScore W4313303751C169760540 @default.
• W4313303751 hasConceptScore W4313303751C169900460 @default.
• W4313303751 hasConceptScore W4313303751C188147891 @default.
• W4313303751 hasConceptScore W4313303751C195324797 @default.
• W4313303751 hasConceptScore W4313303751C195344581 @default.
• W4313303751 hasConceptScore W4313303751C199360897 @default.
• W4313303751 hasConceptScore W4313303751C2524010 @default.
• W4313303751 hasConceptScore W4313303751C2776214188 @default.
• W4313303751 hasConceptScore W4313303751C33923547 @default.
• W4313303751 hasConceptScore W4313303751C36964233 @default.
• W4313303751 hasConceptScore W4313303751C37335422 @default.
• W4313303751 hasConceptScore W4313303751C41008148 @default.
• W4313303751 hasConceptScore W4313303751C46743427 @default.
• W4313303751 hasConceptScore W4313303751C49020025 @default.
• W4313303751 hasConceptScore W4313303751C542102704 @default.
• W4313303751 hasConceptScore W4313303751C58328972 @default.
• W4313303751 hasConceptScore W4313303751C62073222 @default.
• W4313303751 hasConceptScore W4313303751C86803240 @default.
• W4313303751 hasConceptScore W4313303751C86827895 @default.
• W4313303751 hasConceptScore W4313303751C89288958 @default.
• W4313303751 hasConceptScore W4313303751C97364631 @default.
• W4313303751 hasLocation W43133037511 @default.
• W4313303751 hasOpenAccess W4313303751 @default.
• W4313303751 hasPrimaryLocation W43133037511 @default.
• W4313303751 hasRelatedWork W1540734423 @default.
• W4313303751 hasRelatedWork W1619499266 @default.
• W4313303751 hasRelatedWork W1974525301 @default.
• W4313303751 hasRelatedWork W2004290655 @default.
• W4313303751 hasRelatedWork W2347305376 @default.
• W4313303751 hasRelatedWork W2399112294 @default.
• W4313303751 hasRelatedWork W3081308103 @default.
• W4313303751 hasRelatedWork W4242713856 @default.
• W4313303751 hasRelatedWork W4313303751 @default.
• W4313303751 hasRelatedWork W2182693335 @default.
• W4313303751 isParatext "false" @default.
• W4313303751 isRetracted "false" @default.

• next