{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T12:20:42Z","timestamp":1766060442695,"version":"3.48.0"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T00:00:00Z","timestamp":1762128000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T00:00:00Z","timestamp":1762128000000},"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":[[2025,11,3]]},"DOI":"10.1109\/ictai66417.2025.00122","type":"proceedings-article","created":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T18:35:43Z","timestamp":1765823743000},"page":"838-842","source":"Crossref","is-referenced-by-count":0,"title":["Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents"],"prefix":"10.1109","author":[{"given":"Agnieszka","family":"Mensfelt","sequence":"first","affiliation":[{"name":"Royal Holloway, Univ. of London,Department of Computer Science,Egham,Surrey,UK"}]},{"given":"Kostas","family":"Stathis","sequence":"additional","affiliation":[{"name":"Royal Holloway, Univ. of London,Department of Computer Science,Egham,Surrey,UK"}]},{"given":"Vince","family":"Trencsenyi","sequence":"additional","affiliation":[{"name":"Royal Holloway, Univ. of London,Department of Computer Science,Egham,Surrey,UK"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Agent ai: Surveying the horizons of multimodal interaction","author":"Durante","year":"2024","journal-title":"arXiv preprint"},{"key":"ref2","article-title":"Gpt-4 technical report","author":"Achiam","year":"2023","journal-title":"arXiv preprint"},{"key":"ref3","article-title":"Foundational challenges in assuring alignment and safety of large language models","author":"Anwar","year":"2024","journal-title":"arXiv preprint"},{"volume-title":"Introduction to Game Theory","year":"2004","author":"Osborne","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3588-3_2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i16.29751"},{"key":"ref7","article-title":"Towards a common framework for autoformalization","author":"Mensfelt","year":"2025","journal-title":"arXiv preprint"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"},{"key":"ref9","first-page":"24824","article-title":"Chain-of-thought prompting elicits reasoning in large language models","volume":"35","author":"Wei","year":"2022","journal-title":"Advances in neural information processing systems"},{"volume-title":"GPT-4o","year":"2024","key":"ref10"},{"key":"ref11","article-title":"Gemini: A family of highly capable multimodal models","author":"Anil","year":"2024","journal-title":"arXiv preprint"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1257\/000282805775014434"},{"key":"ref13","article-title":"Gtbench: Uncovering the strategic reasoning limitations of 11 ms via game-theoretic evaluations","author":"Duan","year":"2024","journal-title":"arXiv preprint"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI59109.2023.00059"}],"event":{"name":"2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI)","start":{"date-parts":[[2025,11,3]]},"location":"Athens, Greece","end":{"date-parts":[[2025,11,5]]}},"container-title":["2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11272175\/11272453\/11272529.pdf?arnumber=11272529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T12:16:44Z","timestamp":1766060204000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11272529\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,3]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/ictai66417.2025.00122","relation":{},"subject":[],"published":{"date-parts":[[2025,11,3]]}}}