{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T05:58:19Z","timestamp":1763791099754,"version":"3.45.0"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T00:00:00Z","timestamp":1761523200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T00:00:00Z","timestamp":1761523200000},"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,10,27]]},"DOI":"10.1109\/isncc66965.2025.11250432","type":"proceedings-article","created":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T18:39:45Z","timestamp":1763750385000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic"],"prefix":"10.1109","author":[{"given":"Muyu","family":"Pan","sequence":"first","affiliation":[{"name":"Pennsylvania State University,Computer Science and Engineering,University Park,USA"}]},{"given":"Dheeraj","family":"Kodakandla","sequence":"additional","affiliation":[{"name":"Pennsylvania State University,Computer Science and Engineering,University Park,USA"}]},{"given":"Mahfuza","family":"Farooque","sequence":"additional","affiliation":[{"name":"Pennsylvania State University,Computer Science and Engineering,University Park,USA"}]}],"member":"263","reference":[{"article-title":"A brief history of natural language processing","year":"2023","author":"Foote","key":"ref1"},{"article-title":"A very gentle introduction to large language models without the hype","year":"2023","author":"Riedl","key":"ref2"},{"year":"2024","key":"ref3","article-title":"Chatgpt o1-mini"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3703155"},{"article-title":"Llm hallucinations and mitigation strategies: Build aienriched apps with singlestore","year":"2024","author":"Belagatti","key":"ref5"},{"article-title":"Harnessing the power of large language models for natural language to first-order logic translation","year":"2023","author":"Yang","key":"ref6"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.18653\/v1\/2023.findings-emnlp.248","article-title":"Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning","author":"Pan","year":"2023"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISNCC62547.2024.10759050"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.103"},{"journal-title":"Natural language processing with Python: analyzing text with the natural language toolkit","year":"2009","author":"Bird","key":"ref10"},{"year":"2021","key":"ref11","article-title":"lark-parser"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.18653\/v1\/2025.emnlp-main.1716","article-title":"Satbench: Benchmarking llms\u2019 logical reasoning via automated puzzle generation from sat formulas","author":"Wei","year":"2025"}],"event":{"name":"2025 International Symposium on Networks, Computers and Communications (ISNCC)","start":{"date-parts":[[2025,10,27]]},"location":"Paris, France","end":{"date-parts":[[2025,10,29]]}},"container-title":["2025 International Symposium on Networks, Computers and Communications (ISNCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11250373\/11250375\/11250432.pdf?arnumber=11250432","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T05:53:23Z","timestamp":1763790803000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11250432\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,27]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/isncc66965.2025.11250432","relation":{},"subject":[],"published":{"date-parts":[[2025,10,27]]}}}