{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T15:14:39Z","timestamp":1783523679709,"version":"3.55.0"},"publisher-location":"Singapore","reference-count":12,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819224791","type":"print"},{"value":"9789819224807","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T00:00:00Z","timestamp":1783555200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T00:00:00Z","timestamp":1783555200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-981-92-2480-7_17","type":"book-chapter","created":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T14:21:22Z","timestamp":1783520482000},"page":"257-269","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Prover-Guided Correction for\u00a0Natural Language to\u00a0First-Order Logic Conversion"],"prefix":"10.1007","author":[{"given":"Manyao","family":"Zhu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guanfeng","family":"Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yang","family":"Xu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,9]]},"reference":[{"key":"17_CR1","unstructured":"Garcez, A.D., et\u00a0al.: Neural-symbolic learning and reasoning: contributions and challenges. In: Proceedings of AAAI Spring Symposium on Knowledge Representation and Reasoning (2015)"},{"key":"17_CR2","doi-asserted-by":"publisher","unstructured":"Kov\u00e1cs, L., Voronkov, A.: First-order theorem proving and vampire. In: Computer Aided Verification (CAV). LNCS, vol.\u00a08044, pp. 1\u201335. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_1","DOI":"10.1007\/978-3-642-39799-8_1"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Liu, J.: Few-shot natural language to first-order logic translation via code generation. In: Proceedings of NAACL, pp. 10939\u201310960 (2025)","DOI":"10.18653\/v1\/2025.naacl-long.547"},{"key":"17_CR4","unstructured":"Lu, X., Liu, J., et\u00a0al.: Parsing natural language into propositional and first-order logic with dual reinforcement learning. In: Proceedings of the 29th International Conference on Computational Linguistics (COLING), pp. 5419\u20135431 (2022)"},{"key":"17_CR5","unstructured":"Nguyen, P.M., Dang, T.H., Inoue, N.: Non-iterative symbolic-aided chain-of-thought for logical reasoning. arXiv preprint arXiv:2508.12425 (2025)"},{"key":"17_CR6","doi-asserted-by":"publisher","unstructured":"Schulz, S., Cruanes, S., Vukmirovi\u0107, P.: E 2.3: Faster, higher, stronger. In: Automated Deduction \u2013 CADE 27. LNCS, vol. 11716, pp. 1\u201335. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-29436-6_29","DOI":"10.1007\/978-3-030-29436-6_29"},{"issue":"4","key":"17_CR7","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10817-009-9143-8","volume":"43","author":"G Sutcliffe","year":"2009","unstructured":"Sutcliffe, G.: The tptp problem library and associated infrastructure. J. Autom. Reason. 43(4), 337\u2013362 (2009)","journal-title":"J. Autom. Reason."},{"key":"17_CR8","unstructured":"Wang, X., et al.: Self-consistency improves chain of thought reasoning in language models (2023). arXiv:2203.11171"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Wei, J., Wang, X., Schuurmans, D., et\u00a0al.: Chain-of-thought prompting elicits reasoning in large language models. arXiv preprint arXiv:2201.11903 (2022)","DOI":"10.52202\/068431-1800"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Xu, J., Fei, H., Pan, L., et\u00a0al.: Faithful logical reasoning via symbolic chain-of-thought. In: Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (ACL), pp. 13326\u201313365 (2024)","DOI":"10.18653\/v1\/2024.acl-long.720"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.ins.2018.04.086","volume":"462","author":"Y Xu","year":"2018","unstructured":"Xu, Y., Liu, J., et al.: Contradiction separation based dynamic multi-clause synergized automated deduction. Inf. Sci. 462, 93\u2013113 (2018)","journal-title":"Inf. Sci."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Yang, Y., Xiong, S., Payani, A., et\u00a0al.: Harnessing the power of large language models for natural language to first-order logic translation. In: Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (ACL), pp. 6942\u20136959 (2024)","DOI":"10.18653\/v1\/2024.acl-long.375"}],"container-title":["Lecture Notes in Computer Science","Machine Learning and Knowledge Engineering for Decision Making"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-92-2480-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T14:21:23Z","timestamp":1783520483000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-92-2480-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,9]]},"ISBN":["9789819224791","9789819224807"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-981-92-2480-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,9]]},"assertion":[{"value":"9 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FLINS-ISKE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Systems and Knowledge Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sydney","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iske2026a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2026.flins.cc","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}