{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T22:04:59Z","timestamp":1769724299091,"version":"3.49.0"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:00:00Z","timestamp":1728172800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:00:00Z","timestamp":1728172800000},"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":[[2024,10,6]]},"DOI":"10.1109\/smc54092.2024.10831379","type":"proceedings-article","created":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:39:20Z","timestamp":1737398360000},"page":"2200-2205","source":"Crossref","is-referenced-by-count":1,"title":["A Semantic Verifier for Optimizing Small-Scale Large Language Models on Reasoning Tasks"],"prefix":"10.1109","author":[{"given":"Yu","family":"Bai","sequence":"first","affiliation":[{"name":"Shenyang Aerospace University,School of Computer Science,Shenyang,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Li","sequence":"additional","affiliation":[{"name":"Shenyang Aerospace University,School of Computer Science,Shenyang,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fang","family":"Cai","sequence":"additional","affiliation":[{"name":"Stanford University,School of Humanities and Sciences,Stanford,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuting","family":"Liu","sequence":"additional","affiliation":[{"name":"Shenyang Aerospace University,School of Computer Science,Shenyang,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Chatgpt: A large-scale generative model for open-domain chat","year":"2022"},{"key":"ref2","article-title":"An overview of bard: an early experiment with generative ai","volume":"2","author":"Manyika","year":"2023","journal-title":"AI. Google Static Documents"},{"key":"ref3","author":"Touvron","year":"2023","journal-title":"2: Open foundation and fine-tuned chat models"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10586-023-04203-7","article-title":"Foundation and large language models: fundamentals, challenges, opportunities, and social impacts","volume":"27","author":"Myers","year":"2023","journal-title":"Cluster Computing"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3544549.3573819"},{"key":"ref6","author":"Yang","year":"2023","journal-title":"Augmenting large language models with multilingual translation capability over 100 languages"},{"key":"ref7","author":"Simmering","year":"2023","journal-title":"language models for aspect-based sentiment analysis"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1982","DOI":"10.18653\/v1\/2023.findings-eacl.148","article-title":"Bounding the capabilities of large language models in open text generation with prompt constraints","volume-title":"Findings of the Association for Computational Linguistics: EACL 2023","author":"Lu","year":"2023"},{"key":"ref9","volume-title":"Deploying large nlp models: Infrastructure cost optimization","author":"Barla","year":"2024"},{"key":"ref10","volume-title":"Computer hardware required to run llama ai model locally (gpu, cpu, ram, ssd)","author":"Witt","year":"2024"},{"key":"ref11","first-page":"arXiv-2212","author":"Ho","year":"2022","journal-title":"language models are reasoning teachers"},{"key":"ref12","author":"Magister","year":"2022","journal-title":"small language models to reason"},{"key":"ref13","volume-title":"titans: Can smaller large language models punch above their weight in the real world for meeting summarization?","volume":"abs\/2402.00841","author":"Fu","year":"2024"},{"key":"ref14","first-page":"24 824","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"},{"key":"ref15","first-page":"22 199","article-title":"Large language models are zero-shot reasoners","volume":"35","author":"Kojima","year":"2022","journal-title":"Advances in neural information processing systems"},{"key":"ref16","article-title":"Automatic chain of thought prompting in large language models","volume-title":"vol. abs\/2210.03493","author":"Zhang","year":"2022"},{"key":"ref17","author":"Wang","year":"2023","journal-title":"Self-consistency improves chain of thought reasoning in language models"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"5315","DOI":"10.18653\/v1\/2023.acl-long.291","article-title":"Making language models better reasoners with step-aware verifier","volume-title":"Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)","author":"Li","year":"2023"},{"key":"ref19","author":"Fu","year":"2023","journal-title":"smaller language models towards multi-step reasoning"},{"key":"ref20","volume-title":"and narrowing the compositionality gap in language models","volume":"abs\/2210.03350","author":"Press","year":"2022"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.18653\/v1\/2022.emnlp-main.174","article-title":"Iteratively prompt pre-trained language models for chain of thought","volume-title":"Conference on Empirical Methods in Natural Language Processing","author":"Wang","year":"2022"},{"key":"ref22","article-title":"Least-to-most prompting enables complex reasoning in large language models","volume-title":"The Eleventh International Conference on Learning Representations","author":"Zhou","year":"2022"},{"key":"ref23","first-page":"arXiv-2210","author":"Chung","year":"2022","journal-title":"instruction-finetuned language models"},{"key":"ref24","first-page":"15 476","article-title":"Star: Bootstrapping reasoning with reasoning","volume":"35","author":"Zelikman","year":"2022","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref25","author":"Mukherjee","year":"2023","journal-title":"Progressive learning from complex explanation traces of gpt-4"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.emnlp-main.552"},{"key":"ref27","article-title":"Deberta: Decoding-enhanced bert with disentangled attention","volume-title":"International Conference on Learning Representations","author":"He","year":"2021"},{"key":"ref28","author":"Cobbe","year":"2021","journal-title":"verifiers to solve math word problems"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1202"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.naacl-main.168"},{"key":"ref31","first-page":"4149","article-title":"Commonsenseqa: A question answering challenge targeting commonsense knowledge","volume-title":"Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers)","author":"Talmor","year":"2019"},{"key":"ref32","first-page":"1877","article-title":"Language models are few-shot learners","volume":"33","author":"Brown","year":"2020","journal-title":"Advances in neural information processing systems"},{"key":"ref33","author":"Yang","year":"2023","journal-title":"2: Open large-scale language models"},{"key":"ref34","author":"Zeng","year":"2022","journal-title":"130b: An open bilingual pre-trained model"}],"event":{"name":"2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Kuching, Malaysia","start":{"date-parts":[[2024,10,6]]},"end":{"date-parts":[[2024,10,10]]}},"container-title":["2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10830919\/10830920\/10831379.pdf?arnumber=10831379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T06:32:16Z","timestamp":1737441136000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10831379\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,6]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/smc54092.2024.10831379","relation":{},"subject":[],"published":{"date-parts":[[2024,10,6]]}}}