Zobrazeno 1 - 10
of 39
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.
Publikováno v:
In Journal of Corporate Finance June 2024 86
Autor:
Crabbe, Kylie
Publikováno v:
Harvard Theological Review; Jan2024, Vol. 117 Issue 1, p113-137, 25p
Publikováno v:
American Journal of Physical Medicine & Rehabilitation; Mar2024, Vol. 103 Issue 3, p271-273, 3p
Medial clavicle shaft fractures in children and adolescents: differences from adults and management.
Publikováno v:
Journal of Pediatric Orthopaedics B; Sep2022, p417-421, 5p
Publikováno v:
American Journal of Physical Medicine & Rehabilitation; Mar2022, Vol. 101 Issue 3, p303-305, 3p
Autor:
BREWITT-TAYLOR, SAM
Publikováno v:
Journal of Ecclesiastical History; Oct2015, Vol. 66 Issue 4, p792-811, 20p