{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T05:13:46Z","timestamp":1734671626938,"version":"3.32.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T00:00:00Z","timestamp":1721174400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T00:00:00Z","timestamp":1721174400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,7,17]]},"DOI":"10.1109\/iisa62523.2024.10786718","type":"proceedings-article","created":{"date-parts":[[2024,12,18]],"date-time":"2024-12-18T19:24:35Z","timestamp":1734549875000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Model Checking with Large Language Models - Initial Experiments and Future Directions"],"prefix":"10.1109","author":[{"given":"Sotiris","family":"Batsakis","sequence":"first","affiliation":[{"name":"Hellenic Mediterranean University,Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilias","family":"Tachmazidis","sequence":"additional","affiliation":[{"name":"School of Computing and Engineering, University of Huddersfield,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Mantle","sequence":"additional","affiliation":[{"name":"School of Computing and Engineering, University of Huddersfield,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaos","family":"Papadakis","sequence":"additional","affiliation":[{"name":"Hellenic Mediterranean University,Greece"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[{"name":"Leeds Beckett University,UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Lamda: Language models for dialog applications","author":"Thoppilan","year":"2022","journal-title":"arXiv preprint"},{"year":"2023","journal-title":"Gpt-4 technical report","article-title":"OpenAI","key":"ref2"},{"key":"ref3","article-title":"Illustrating reinforcement learning from human feedback (rlhf)","volume-title":"Hugging Face Blog","author":"Lambert","year":"2022"},{"year":"2022","author":"Ouyang","journal-title":"Training language models to follow instructions with human feedback","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/3442188.3445922"},{"key":"ref6","article-title":"On the paradox of learning to reason from data","author":"Zhang","year":"2022","journal-title":"arXiv preprint"},{"key":"ref7","first-page":"7687","article-title":"Defeasible reasoning with large language models-initial experiments and future directions","volume-title":"CEUR Workshop Proceedings","volume":"3485","author":"Antoniou"},{"key":"ref8","article-title":"Towards reasoning in large language models: A survey","author":"Huang","year":"2022","journal-title":"arXiv preprint"},{"year":"2020","author":"Kaplan","journal-title":"Scaling laws for neural language models","key":"ref9"},{"year":"2020","author":"Brown","journal-title":"Language models are few-shot learners","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/BFb0058022"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1016\/j.cosrev.2010.06.002"},{"key":"ref13","article-title":"Gpt-4 technical report","author":"Achiam","year":"2023","journal-title":"arXiv preprint"},{"year":"1986","author":"Smullyan","journal-title":"What is the Name of this Book? Touchstone Books","key":"ref14"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/978-3-540-45236-2_46"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/BF02432151"},{"author":"Murty","journal-title":"University of Michigan, Ann Arbor, 2003","article-title":"Optimization models for decision making","key":"ref17"},{"key":"ref18","first-page":"38055","article-title":"Nusmv 2.2 tutorial","volume":"18","author":"Cavada","year":"2004","journal-title":"ITC-irst- Via Sommarive"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/3-540-45657-0_29"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1007\/978-3-319-08867-9_22"}],"event":{"name":"2024 15th International Conference on Information, Intelligence, Systems & Applications (IISA)","start":{"date-parts":[[2024,7,17]]},"location":"Chania Crete, Greece","end":{"date-parts":[[2024,7,19]]}},"container-title":["2024 15th International Conference on Information, Intelligence, Systems & Applications (IISA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10786587\/10786610\/10786718.pdf?arnumber=10786718","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T06:24:56Z","timestamp":1734589496000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10786718\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,17]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iisa62523.2024.10786718","relation":{},"subject":[],"published":{"date-parts":[[2024,7,17]]}}}