{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T21:52:43Z","timestamp":1783288363434,"version":"3.54.6"},"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":2,"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"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dheeraj","family":"Kodakandla","sequence":"additional","affiliation":[{"name":"Pennsylvania State University,Computer Science and Engineering,University Park,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mahfuza","family":"Farooque","sequence":"additional","affiliation":[{"name":"Pennsylvania State University,Computer Science and Engineering,University Park,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"A brief history of natural language processing","author":"Foote","year":"2023"},{"key":"ref2","article-title":"A very gentle introduction to large language models without the hype","author":"Riedl","year":"2023"},{"key":"ref3","article-title":"Chatgpt o1-mini","year":"2024"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3703155"},{"key":"ref5","article-title":"Llm hallucinations and mitigation strategies: Build aienriched apps with singlestore","author":"Belagatti","year":"2024"},{"key":"ref6","article-title":"Harnessing the power of large language models for natural language to first-order logic translation","author":"Yang","year":"2023"},{"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"},{"key":"ref10","author":"Bird","year":"2009","journal-title":"Natural language processing with Python: analyzing text with the natural language toolkit"},{"key":"ref11","article-title":"lark-parser","year":"2021"},{"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)","location":"Paris, France","start":{"date-parts":[[2025,10,27]]},"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]]}}}