{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,14]],"date-time":"2026-06-14T06:00:38Z","timestamp":1781416838144,"version":"3.54.1"},"publisher-location":"Stroudsburg, PA, USA","reference-count":0,"publisher":"The Asian Federation of Natural Language Processing and The Association for Computational Linguistics","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.18653\/v1\/2025.findings-ijcnlp.8","type":"proceedings-article","created":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T17:29:33Z","timestamp":1773768573000},"page":"132-147","source":"Crossref","is-referenced-by-count":2,"title":["Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection"],"prefix":"10.18653","author":[{"given":"Abhinav","family":"Lalwani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tasha","family":"Kim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lovish","family":"Chopra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christopher","family":"Hahn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhijing","family":"Jin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mrinmaya","family":"Sachan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1643","event":{"name":"Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics","location":"Mumbai, India","start":{"date-parts":[[2025,12]]},"end":{"date-parts":[[2025,12]]}},"container-title":["Proceedings of the 14th International Joint Conference on Natural Language Processing and the 4th Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics"],"original-title":[],"deposited":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T17:30:11Z","timestamp":1773768611000},"score":1,"resource":{"primary":{"URL":"https:\/\/aclanthology.org\/2025.findings-ijcnlp.8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":0,"URL":"https:\/\/doi.org\/10.18653\/v1\/2025.findings-ijcnlp.8","relation":{},"subject":[],"published":{"date-parts":[[2025]]}}}