{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T12:10:24Z","timestamp":1781007024105,"version":"3.54.1"},"publisher-location":"Singapore","reference-count":31,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819542123","type":"print"},{"value":"9789819542130","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T00:00:00Z","timestamp":1762819200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T00:00:00Z","timestamp":1762819200000},"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":[[2026]]},"DOI":"10.1007\/978-981-95-4213-0_2","type":"book-chapter","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T23:18:19Z","timestamp":1762816699000},"page":"22-41","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automata-Based Steering of\u00a0Large Language Models for\u00a0Diverse Structured Generation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5878-6486","authenticated-orcid":false,"given":"Xiaokun","family":"Luan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2953-0749","authenticated-orcid":false,"given":"Zemin","family":"Wei","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-0284-1367","authenticated-orcid":false,"given":"Yihao","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6550-7396","authenticated-orcid":false,"given":"Meng","family":"Sun","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,11,11]]},"reference":[{"key":"2_CR1","unstructured":"Guidance ai: Guidance: A guidance language for controlling large language models. https:\/\/github.com\/guidance-ai\/guidance. Accessed 11 May 2025"},{"key":"2_CR2","unstructured":"dottxt ai: Structured text generation. https:\/\/github.com\/dottxt-ai\/outlines. Accessed 11 May 2025"},{"key":"2_CR3","doi-asserted-by":"publisher","unstructured":"Austin, J., et al.: Program synthesis with large language models (2021). https:\/\/doi.org\/10.48550\/arXiv.2108.07732. https:\/\/arxiv.org\/abs\/2108.07732","DOI":"10.48550\/arXiv.2108.07732"},{"key":"2_CR4","unstructured":"Bennett, J.: A library for working with HTML\/CSS color formats in Python. https:\/\/github.com\/ubernostrum\/webcolors. Accessed 11 May 2025"},{"key":"2_CR5","doi-asserted-by":"publisher","unstructured":"Chung, J., Kamar, E., Amershi, S.: Increasing diversity while maintaining accuracy: Text data generation with large language models and human interventions. In: Rogers, A., Boyd-Graber, J., Okazaki, N. (eds.) Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pp. 575\u2013593. Association for Computational Linguistics, Toronto (2023). https:\/\/doi.org\/10.18653\/v1\/2023.acl-long.34","DOI":"10.18653\/v1\/2023.acl-long.34"},{"key":"2_CR6","unstructured":"Dong, Y., et al.: XGrammar: flexible and efficient structured generation engine for large language models (2024). https:\/\/arxiv.org\/abs\/2411.15100"},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"Du, Z., et al.: GLM: general language model pretraining with autoregressive blank infilling. In: Muresan, S., Nakov, P., Villavicencio, A. (eds.) Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, vol. 1: Long Papers, pp. 320\u2013335. Association for Computational Linguistics, Dublin (2022). https:\/\/doi.org\/10.18653\/v1\/2022.acl-long.26. https:\/\/aclanthology.org\/2022.acl-long.26\/","DOI":"10.18653\/v1\/2022.acl-long.26"},{"key":"2_CR8","unstructured":"Friedman, D., Dieng, A.B.: The Vendi score: a diversity evaluation metric for machine learning. Trans. Mach. Learn. Res. (2023). https:\/\/openreview.net\/forum?id=g97OHbQyk1"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Guo, T., et al.: Large language model based multi-agents: a survey of progress and challenges. In: Larson, K. (ed.) Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24, pp. 8048\u20138057. International Joint Conferences on Artificial Intelligence Organization (2024). https:\/\/doi.org\/10.24963\/ijcai.2024\/890","DOI":"10.24963\/ijcai.2024\/890"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Ji, Z., et al.: Survey of hallucination in natural language generation. ACM Comput. Surv. 55(12) (2023). https:\/\/doi.org\/10.1145\/3571730","DOI":"10.1145\/3571730"},{"key":"2_CR11","unstructured":"Kyza: Pattern matching and extracting color code formats using RegEx. https:\/\/github.com\/Kyza\/color-regex\/. Accessed 11 May 2025"},{"key":"2_CR12","doi-asserted-by":"publisher","unstructured":"Li, J., Galley, M., Brockett, C., Gao, J., Dolan, B.: A diversity-promoting objective function for neural conversation models. In: Knight, K., Nenkova, A., Rambow, O. (eds.) Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, pp. 110\u2013119. Association for Computational Linguistics, San Diego (2016). https:\/\/doi.org\/10.18653\/v1\/N16-1014","DOI":"10.18653\/v1\/N16-1014"},{"key":"2_CR13","doi-asserted-by":"publisher","unstructured":"Lou, R., Zhang, K., Yin, W.: Large language model instruction following: a survey of progresses and challenges. Comput. Linguist. 50(3), 1053\u20131095 (2024). https:\/\/doi.org\/10.1162\/coli_a_00523","DOI":"10.1162\/coli_a_00523"},{"key":"2_CR14","unstructured":"Nijkamp, E., et al.: CodeGen: an open large language model for code with multi-turn program synthesis. In: The Eleventh International Conference on Learning Representations (2023). https:\/\/openreview.net\/forum?id=iaYcJKpY2B_"},{"key":"2_CR15","unstructured":"OpenAI Platform: Structured model outputs (2024). https:\/\/platform.openai.com\/docs\/guides\/structured-outputs?api-mode=responses. Accessed 12 Aug 2025"},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"R\u00e4tsch, G., Sonnenburg, S., Sch\u00f6lkopf, B.: RASE: recognition of alternatively spliced exons in c.elegans. Bioinformatics 21(1), 369\u2013377 (2005). https:\/\/doi.org\/10.1093\/bioinformatics\/bti1053","DOI":"10.1093\/bioinformatics\/bti1053"},{"key":"2_CR17","doi-asserted-by":"publisher","unstructured":"Resnick, P.: Internet message format. RFC 5322 (2008). https:\/\/doi.org\/10.17487\/RFC5322. https:\/\/www.rfc-editor.org\/info\/rfc5322","DOI":"10.17487\/RFC5322"},{"key":"2_CR18","doi-asserted-by":"publisher","unstructured":"Shao, H., et al.: Controllable and diverse text generation in e-commerce. In: Proceedings of the Web Conference 2021, WWW \u201921, pp. 2392\u20132401. Association for Computing Machinery, New York (2021). https:\/\/doi.org\/10.1145\/3442381.3449838","DOI":"10.1145\/3442381.3449838"},{"key":"2_CR19","doi-asserted-by":"publisher","unstructured":"Shao, Z., Huang, M., Wen, J., Xu, W., Zhu, X.: Long and diverse text generation with planning-based hierarchical variational model. In: Inui, K., Jiang, J., Ng, V., Wan, X. (eds.) Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP), pp. 3257\u20133268. Association for Computational Linguistics, Hong Kong (2019). https:\/\/doi.org\/10.18653\/v1\/D19-1321. https:\/\/aclanthology.org\/D19-1321\/","DOI":"10.18653\/v1\/D19-1321"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Shi, Z., Chen, X., Qiu, X., Huang, X.: Toward diverse text generation with inverse reinforcement learning. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence. IJCAI\u201918, pp. 4361\u20134367. AAAI Press (2018)","DOI":"10.24963\/ijcai.2018\/606"},{"key":"2_CR21","doi-asserted-by":"publisher","unstructured":"Stureborg, R., Alikaniotis, D., Suhara, Y.: Large language models are inconsistent and biased evaluators (2024). https:\/\/doi.org\/10.48550\/arXiv.2405.01724. https:\/\/arxiv.org\/abs\/2405.01724","DOI":"10.48550\/arXiv.2405.01724"},{"key":"2_CR22","unstructured":"Sun, Y., et al.: ERNIE 3.0: large-scale knowledge enhanced pre-training for language understanding and generation (2021). https:\/\/arxiv.org\/abs\/2107.02137"},{"key":"2_CR23","unstructured":"Tauberer, J.: A robust email syntax and deliverability validation library for Python. https:\/\/github.com\/JoshData\/python-email-validator. Accessed 11 May 2025"},{"key":"2_CR24","unstructured":"Wang, G., et al.: Voyager: an open-ended embodied agent with large language models. Trans. Mach. Learn. Res. (2024). https:\/\/openreview.net\/forum?id=ehfRiF0R3a"},{"key":"2_CR25","unstructured":"Wang, H., et al.: LEGO-prover: neural theorem proving with growing libraries. In: The Twelfth International Conference on Learning Representations (2024). https:\/\/openreview.net\/forum?id=3f5PALef5B"},{"key":"2_CR26","doi-asserted-by":"publisher","unstructured":"Willard, B.T., Louf, R.: Efficient guided generation for large language models (2023). https:\/\/doi.org\/10.48550\/arXiv.2307.09702. https:\/\/arxiv.org\/abs\/2307.09702","DOI":"10.48550\/arXiv.2307.09702"},{"key":"2_CR27","doi-asserted-by":"publisher","unstructured":"Xu, J., Ren, X., Lin, J., Sun, X.: Diversity-promoting GAN: a cross-entropy based generative adversarial network for diversified text generation. In: Riloff, E., Chiang, D., Hockenmaier, J., Tsujii, J. (eds.) Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, pp. 3940\u20133949. Association for Computational Linguistics, Brussels (2018). https:\/\/doi.org\/10.18653\/v1\/D18-1428, https:\/\/aclanthology.org\/D18-1428\/","DOI":"10.18653\/v1\/D18-1428"},{"key":"2_CR28","unstructured":"Yu, L., et al.: MetaMath: bootstrap your own mathematical questions for large language models. In: The Twelfth International Conference on Learning Representations (2024). https:\/\/openreview.net\/forum?id=N8N0hgNDRt"},{"key":"2_CR29","unstructured":"Zhang, H., Duckworth, D., Ippolito, D., Neelakantan, A.: Trading off diversity and quality in natural language generation. In: Belz, A., Agarwal, S., Graham, Y., Reiter, E., Shimorina, A. (eds.) Proceedings of the Workshop on Human Evaluation of NLP Systems (HumEval), pp. 25\u201333. Association for Computational Linguistics, Online (2021), https:\/\/aclanthology.org\/2021.humeval-1.3\/"},{"key":"2_CR30","doi-asserted-by":"publisher","unstructured":"Zhao, Y., Qi, Z., Nan, L., Flores, L.J., Radev, D.: LoFT: enhancing faithfulness and diversity for table-to-text generation via logic form control. In: Vlachos, A., Augenstein, I. (eds.) Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, pp. 554\u2013561. Association for Computational Linguistics, Dubrovnik (2023). https:\/\/doi.org\/10.18653\/v1\/2023.eacl-main.40. https:\/\/aclanthology.org\/2023.eacl-main.40\/","DOI":"10.18653\/v1\/2023.eacl-main.40"},{"key":"2_CR31","doi-asserted-by":"publisher","unstructured":"Zheng, L., et al.: SGLang: efficient execution of structured language model programs (2024). https:\/\/doi.org\/10.48550\/arXiv.2312.07104. https:\/\/arxiv.org\/abs\/2312.07104","DOI":"10.48550\/arXiv.2312.07104"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-4213-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T23:18:22Z","timestamp":1762816702000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-4213-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,11]]},"ISBN":["9789819542123","9789819542130"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-4213-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,11]]},"assertion":[{"value":"11 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICFEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Engineering Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hangzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icfem2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icfem2025.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}