Matches in SemOpenAlex for { <https://semopenalex.org/work/W4324134295> ?p ?o ?g. }
- W4324134295 endingPage "3331" @default.
- W4324134295 startingPage "3293" @default.
- W4324134295 abstract "Abstract Recent work has shown learning systems can use logical background knowledge to compensate for a lack of labeled training data. Many methods work by creating a loss function that encodes this knowledge. However, often the logic is discarded after training, even if it is still helpful at test time. Instead, we ensure neural network predictions satisfy the knowledge by refining the predictions with an extra computation step. We introduce differentiable refinement functions that find a corrected prediction close to the original prediction. We study how to effectively and efficiently compute these refinement functions. Using a new algorithm called iterative local refinement (ILR), we combine refinement functions to find refined predictions for logical formulas of any complexity. ILR finds refinements on complex SAT formulas in significantly fewer iterations and frequently finds solutions where gradient descent can not. Finally, ILR produces competitive results in the MNIST addition task." @default.
- W4324134295 created "2023-03-15" @default.
- W4324134295 creator A5004393267 @default.
- W4324134295 creator A5023894100 @default.
- W4324134295 creator A5029130731 @default.
- W4324134295 creator A5037724713 @default.
- W4324134295 date "2023-03-14" @default.
- W4324134295 modified "2023-09-26" @default.
- W4324134295 title "Refining neural network predictions using background knowledge" @default.
- W4324134295 cites W1946053744 @default.
- W4324134295 cites W1974828628 @default.
- W4324134295 cites W2026833205 @default.
- W4324134295 cites W2201744460 @default.
- W4324134295 cites W2257046269 @default.
- W4324134295 cites W2274065696 @default.
- W4324134295 cites W2484215240 @default.
- W4324134295 cites W2513471485 @default.
- W4324134295 cites W2892114952 @default.
- W4324134295 cites W2963277062 @default.
- W4324134295 cites W2969457682 @default.
- W4324134295 cites W3145877409 @default.
- W4324134295 cites W3190541158 @default.
- W4324134295 cites W3205663647 @default.
- W4324134295 cites W3209215190 @default.
- W4324134295 cites W3216178672 @default.
- W4324134295 cites W4221155892 @default.
- W4324134295 cites W4234672050 @default.
- W4324134295 cites W4367627489 @default.
- W4324134295 doi "https://doi.org/10.1007/s10994-023-06310-3" @default.
- W4324134295 hasPublicationYear "2023" @default.
- W4324134295 type Work @default.
- W4324134295 citedByCount "1" @default.
- W4324134295 countsByYear W43241342952023 @default.
- W4324134295 crossrefType "journal-article" @default.
- W4324134295 hasAuthorship W4324134295A5004393267 @default.
- W4324134295 hasAuthorship W4324134295A5023894100 @default.
- W4324134295 hasAuthorship W4324134295A5029130731 @default.
- W4324134295 hasAuthorship W4324134295A5037724713 @default.
- W4324134295 hasBestOaLocation W43241342951 @default.
- W4324134295 hasConcept C11413529 @default.
- W4324134295 hasConcept C119857082 @default.
- W4324134295 hasConcept C134306372 @default.
- W4324134295 hasConcept C14036430 @default.
- W4324134295 hasConcept C147789679 @default.
- W4324134295 hasConcept C153258448 @default.
- W4324134295 hasConcept C154945302 @default.
- W4324134295 hasConcept C162324750 @default.
- W4324134295 hasConcept C185592680 @default.
- W4324134295 hasConcept C187736073 @default.
- W4324134295 hasConcept C190502265 @default.
- W4324134295 hasConcept C202615002 @default.
- W4324134295 hasConcept C2780451532 @default.
- W4324134295 hasConcept C33923547 @default.
- W4324134295 hasConcept C41008148 @default.
- W4324134295 hasConcept C45374587 @default.
- W4324134295 hasConcept C50644808 @default.
- W4324134295 hasConcept C60044698 @default.
- W4324134295 hasConcept C78458016 @default.
- W4324134295 hasConcept C86803240 @default.
- W4324134295 hasConceptScore W4324134295C11413529 @default.
- W4324134295 hasConceptScore W4324134295C119857082 @default.
- W4324134295 hasConceptScore W4324134295C134306372 @default.
- W4324134295 hasConceptScore W4324134295C14036430 @default.
- W4324134295 hasConceptScore W4324134295C147789679 @default.
- W4324134295 hasConceptScore W4324134295C153258448 @default.
- W4324134295 hasConceptScore W4324134295C154945302 @default.
- W4324134295 hasConceptScore W4324134295C162324750 @default.
- W4324134295 hasConceptScore W4324134295C185592680 @default.
- W4324134295 hasConceptScore W4324134295C187736073 @default.
- W4324134295 hasConceptScore W4324134295C190502265 @default.
- W4324134295 hasConceptScore W4324134295C202615002 @default.
- W4324134295 hasConceptScore W4324134295C2780451532 @default.
- W4324134295 hasConceptScore W4324134295C33923547 @default.
- W4324134295 hasConceptScore W4324134295C41008148 @default.
- W4324134295 hasConceptScore W4324134295C45374587 @default.
- W4324134295 hasConceptScore W4324134295C50644808 @default.
- W4324134295 hasConceptScore W4324134295C60044698 @default.
- W4324134295 hasConceptScore W4324134295C78458016 @default.
- W4324134295 hasConceptScore W4324134295C86803240 @default.
- W4324134295 hasFunder F4320338453 @default.
- W4324134295 hasIssue "9" @default.
- W4324134295 hasLocation W43241342951 @default.
- W4324134295 hasLocation W43241342952 @default.
- W4324134295 hasOpenAccess W4324134295 @default.
- W4324134295 hasPrimaryLocation W43241342951 @default.
- W4324134295 hasRelatedWork W2597787948 @default.
- W4324134295 hasRelatedWork W2898860191 @default.
- W4324134295 hasRelatedWork W2961085424 @default.
- W4324134295 hasRelatedWork W3034765204 @default.
- W4324134295 hasRelatedWork W3134476582 @default.
- W4324134295 hasRelatedWork W3148137264 @default.
- W4324134295 hasRelatedWork W4226522731 @default.
- W4324134295 hasRelatedWork W4282813467 @default.
- W4324134295 hasRelatedWork W4287253919 @default.
- W4324134295 hasRelatedWork W4324134295 @default.
- W4324134295 hasVolume "112" @default.
- W4324134295 isParatext "false" @default.
- W4324134295 isRetracted "false" @default.