Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Whyte, Matthew"'
We introduce a theorem proving approach to the specification and generation of temporal logical constraints for training neural networks. We formalise a deep embedding of linear temporal logic over finite traces (LTL$_f$) and an associated evaluation
Externí odkaz:
http://arxiv.org/abs/2207.03880
Autor:
DeLong, Lauren Nicole, Mir, Ramon Fernández, Whyte, Matthew, Ji, Zonglin, Fleuriot, Jacques D.
Neurosymbolic AI is an increasingly active area of research which aims to combine symbolic reasoning methods with deep learning to generate models with both high predictive performance and some degree of human-level comprehensibility. As knowledge gr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2cc444382fc390a510000de3ae62d063
http://arxiv.org/abs/2302.07200
http://arxiv.org/abs/2302.07200
Publikováno v:
Journal of Strategic Marketing. Apr2019, Vol. 27 Issue 2, p177-189. 13p. 1 Diagram, 1 Chart.
